3.3 归结演绎推理