7. Use resolution to prove: if (PQ)((RQ) R) then P Construct your proof as follows. a) Convert the premise to conjunctive normal form. b) Using the re-written premises, prove by contradiction, using resolution