Previous Commit was incorrect

Implemented Syllogisms: Barbara, Calarent, Datisi
Writing tests for these new syllogisms, about half done