python实现归结演绎推理