符号化下列命题，并构造推理证明。每个学生都是勤奋的；每个勤奋而又聪明的人在他的工作生活中都将获得成功；小华是学生，并且是聪明的。所以，小华在他的工作生活中将获得成功。

符号化下列命题，并构造推理证明。每个学生都是勤奋的；每个勤奋而又聪明的人在他的工作生活中都将获得成功；小华是学生，并且是聪明的。所以，小华在他的工作生活中将获得成功。

设论域为所有人。令P(x): x是学生; Q(x): x勤奋；R(x): x聪明；S(x)：x在他的工作生活中将获得成功。c：表示小华