syllogism
not defined yet