yǎn​yì​fǎ

deductive reasoning