"Anyone passing his history exams and winning the lottery is happy. But anyone who studies or is lucky can pass all his exams. John did not study but he is lucky. Anyone who is lucky wins the lottery. Is John happy?"

a) Change the sentences to predicate form.
b) Change the predicate statements to clause form.
c) Use binary resolution method with the set of support strategy to prove the conclusion "Is John happy?".
d) Use binary resolution method with the unit preference strategy to prove the conclusion"Is John happy?"