Standard Form Categorical Syllogism Validator