User:Jestermeister/Categorical Syllogism/More