设有推理:
(a)没有不守信用的人是可信赖的;
(b)有些可以信赖的人是受过教育的人;
(c)因此有些受过教育的人是守信用的。
试构造推理的证明，要求把推理的前提，结论符号化为谓词形式，并写出推理过程。(个体域:人的集合)
提示:设F (x)表示x是守信用的人; G (x)表示x是可信赖的人; H (x)表示x是受过教育的人。