Solves a puzzle from "To Mock a Mockingbird" by Raymond M. Smullyan.