解：设Q(x): x是勤奋的人；H(x): x是身体健康的人；S(x): x是科学家；C(x): x是事业获得成功的人；F(x): x是事业半途而废的人. 则 前提：x(S(x)→Q(x)), x(Q(x)∧H(x)→C(x)), x(S(x)∧H(x)) 结论：x(C(x)∨F(x)) 证明： ① x(S(x)∧H(x)) 前提引入 ② S(c)∧H(c) ①EI（注意，一定先消去） ③ x(S(x)→Q(x))前提引入 ④ S(c)→Q(c)③UI ⑤ S(c)②化简 ⑥ Q(c)④⑤假言推理 ⑦ H(c)②化简 ⑧ Q(c)∧H(c) ⑥⑦合取 ⑨ x(Q(x)∧H(x)→C(x)) 前提引入 ⑩ Q(c)∧H(c)→C(c) ⑨UI ⑪ C(c)⑧⑩假言推理 ⑫ x(C(x))⑪EG ⑬ x(C(x)∨F(x))⑫附加规则