Question 1: Resolution Proof in Propositional Logic [25 points]