Propositional Parlor Puzzle