Syllogism demo

Initial pull request for testing syllogisms. Work in progress. Not to be merged yet. Comments welcome.
What is meant by undesired output atoms? Is that different from all atoms that are not explicitly desired?