Create two symbolized arguments consisting of at least two premises each, and which invite indirect proof to derive the conclusion. The arguments should look like those in Part I of this section. Then derive the conclusion of each.

Part I From This Section:

Use either indirect proof or conditional proof (or both) and the eighteen rules of inference to derive the conclusions of the following symbolized arguments. Having done so, attempt to derive the conclusions without using indirect proof or conditional proof.