Basic Logic Puzzle