在自然推理系统中，构造下列推理的证明。（1)偶数都能被2整除。6是偶数。所以6能被2整除。（2)凡大学

在自然推理系统中，构造下列推理的证明。

(1)偶数都能被2整除。6是偶数。所以6能被2整除。

(2)凡大学生都是勤奋的。王晓山不勤奋。所以，王晓山不是大学生。