Syllogism
From Wikireedia
[[description:: is a kind of logical argument in which one proposition (the conclusion) is inferred from two or more others (the premises) of a specific form.