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.