Solves a puzzle from "To Mock a Mockingbird" by Raymond M. Smullyan. - View it on GitHub