Question 4 (6 marks). Consider a proof by Resolution for propositi...