这四个推理证明过程能帮我写出来吗