合成演绎法

resulting deduction