Use either indirect proof or conditional proof (or both) and the eighteen rules of inference to derive the conclusion of the following symbolized argument. (Complete the proof in the logic tool. See the Getting Started text for further instructions. Select the Submit button to grade your response.)
a) The argument is valid.
b) The argument is invalid.
c) Insufficient information to derive a conclusion.
d) Conditional proof cannot be applied to the argument.