Japanese Logic Puzzles and Proof