Syllogism demo

Initial pull request for testing syllogisms. Work in progress. Not to be merged yet. Comments welcome.
I've assembled all non-Scheme contents in a .txt file. Either they'll be converted in the future or a script will just use the .txt file as input.