自然演绎推理的例子