yǎn​yì​tuī​lǐ

deductive reasoning or syllogism