Complete the following natural deduction proof. The given numbered lines are the argument's premises, and the line beginning with a single slash is the argument's conclusion. Derive the argument's conclusion in a series of new lines using the proof checker below. Click Add Line to add a new line to your proof. Each new line must contain a propositional logic statement, the previous line number(s) from which the new statement follows, and the abbreviation for the rule used. As long as every step is correct and you successfully obtain the argument's conclusion on its own line, the proof is correct. You may use any of the eight rules of implication in your proof. In some cases, there may be more than one correct path you can take to reach the conclusion. You can check each line as you go, or you can wait until your proof is completed to check the entire proof. If you make a mistake, click the line you would like to modify. Note: You may need to recheck subsequent lines if you make a change to an already-entered line. When you have completed your proof, click Check Proof. Modus Ponens (MP Modus Tollens (MT) Hypothetical Syllogism (HS) Disjunctive Syllogism (DS) Constructive Dilemma (CD) Simplification (Simp) Conjunction (Conj) Addition (Add) # 1-4? 5 V Check Add Line X Delete Line V Check Proof