演绎法推理...