Syllogism demo

Initial pull request for testing syllogisms. Work in progress. Not to be merged yet. Comments welcome.
The file type is .scm, but the contents is plain text, not a Scheme file.