Syllogism demo

Initial pull request for testing syllogisms. Work in progress. Not to be merged yet. Comments welcome.
Note that the symbol "attention_interface" has been renamed to "client" so would need to be updated here (https://github.com/opencog/external-tools/pull/33)