syllogism

not defined yet