Use either indirect proof or conditional proof (or both) and the eighteen rules of inference to derive the conclusions of the symbolized argument below. Use the first thirteen rules of inference to derive the conclusions of the symbolized argument below. After entering the conclusion in the empty field, using COM, complete the justification by adding the correct line number or numbers and then including the abbreviated rule. For double negation, avoid the occurrence of triple tildes. C After entering the conclusion in the empty field, using COM, complete the justification by adding the correct line number or numbers and then including the abbreviated rule. For double negation, avoid the occurrence of triple tildes. CGJLN RST • > v = ( ) ( ) [ ] MP MT Dist DN HS Trans Impl DS CD Simp Conj Equiv Exp Taut Add DM Com Assoc ACP CP AIP IP PREMISE 1 GO (-LT) PREMISE 2 L = (-R>-C) PREMISE CONCLUSION 3 JD (SV-N) JO (-N VS) PREMISE 4