简单的推理 (1)