Syllogism demo

Initial pull request for testing syllogisms. Work in progress. Not to be merged yet. Comments welcome.
Could this functionality be implemented without using the Python PLN code, using the AtomSpace API or the pattern matcher, instead?