A game of logical thinking.  Written as a chrome app based on the logic from Proofer.