I feel like I just want an old-school mystery game that takes deductive logic to its limits. Awesome graphics, great story, and lots of clues, where if you struggle to combine new clues (premises) and they're not otherwise needed, they'll disappear and be replaced with a lemma/therefore/derived-clue that gets you closer to your end goal. Ultimately it would be a whole bunch of dressing on top of those grid logic puzzles, but where the system role-plays it and helps give you more clues if you spend too much time struggling with those certain hard parts.
