A game of logical thinking.  A chrome app based on the logic of Proofer.