Created syllogism scm files, README, py file
Added premises for syllogism, demo, notes
Added comments to boat negative syllogism
Added file handling, utilities to syllogism test
Added test for output atoms
Added test for desired/undesired outputs
Added quantifier representation
Updated abductive syllogism
Created file to load r2l representation in Python
Put program in main method
Changes/additions to loading r2l representation
Added explanations, details to README
Updated import
Cleaned up formatting, put txt syllogisms in one file
Added undesired outputs, conclusion differentiation
Added PLN component to pipeline
Updated README
Updated used files
Merge pull request #935 from sebastianruder/syllogisms

Syllogism demo