syllogism

syllogism