2-1-2 演绎推理