Syllogism demo

Initial pull request for testing syllogisms. Work in progress. Not to be merged yet. Comments welcome.
Regarding the non-Scheme contents, maybe you could make it a multiline comment using the
```#| ... |#``` symbols, or alternatively turn it into a .txt file for future conversion.