用python做归结演绎推理