Use inference rules and replacement laws, and give two different proofs, to prove that p q, q, r (p r)

Make sure that you label the lines in each of your proof with the names of the inference rules or replacement laws that you used. Also indicate when you use a premise.

Furthermore, make sure that one of your proofs is a proof by contradiction. (a) Proof 1: Proof by contradiction.