Do a direct logic proof using the rules provided.

Please show the lines and rules used.

-(PAW) - (Q v R) Q-S RT 4 Rules -P MT 0 MP 0 Modus Ponens Modus Tollens o Add Addition oo DS Disjunctive Syllogism Simp Simplification HS O Hypothetical Syllogism DN O Conj 0 Conjunction CD Constructive Dilemma o DeM 0 DeMorgan's Double Negation o Impl 0 o CP 0 Implication Contrapositive Equiv Equivalence Com O Commutative o Assoc (Q v R) A (SVT) Associative o Dist Distributive Level: 777 Problem: 5/6 Problem Code: 7.5