Syllogism Checker

Work In Progress.