TAG:演绎推理的例子