Short Logic Puzzles