Three moves indeed. The idea to base a game on proposition logic is excellent, but I'm not fond of the execution here. A point & click game with a more independent player would be nice. Now, I am forced to use a machine to tell me things I already know. Anyways, great concept, you could massively expand on this.