用归结原理来证明“快乐学生”问题。假设：任何通过计算机考试并获奖得人都是快乐的，任何肯学习或幸运的人都可以通过所有考试，Tom不肯学习但他是幸运的，任何幸运的人都能获奖。求证：Tom是快乐的。