A logic guessing puzzle.