Fill in the blanks for the following proof: p -> (q * r) Prove: -P r -> S Given Given Given -(9 * s) Statement Reason 1. p -> (q*r) Given 2. Given r->s 3. -(q* s) Given |4. -9 + -s 3, DeMorgan's 5. q -> -s 4, Implication 6. -S->-r x 5, Contrapositive 7. 2,6, Hypothetical Syllogism 8. -r + - 17, 9. -(r* q) 8, 10. -P 1,9