13. Use a direct proof to show that the following argument is valid.

Need to add the lines to finish the proof. The first box should be the proof, second two boxes should reference the line numbers, the last box should say which rule we are using. Thank you in advance!!

5 VCheck Modus Ponens MP Modus Tollens MT Hypothetical Syllogism HS Disjunctive Syllogism DS Constructive Dilemma CD Simplification Simp Conjunction Conj Addition Add Delete Line Hypothetical Sylogism Add Line Check Proof