Raymond Smullyan inspired logic puzzles