Logic And Deductive Inference Puzzles