New puzzles in logical deduction