Translate the following arguments into symbolic form, using the letters in the order in which they are listed. Then use indirect proof and the eighteen rules of inference to derive the conclusion of each. Having done so, attempt to derive the conclusion without using indirect proof.
If either the sea turtle population continues to decrease or rescue efforts are commenced to save the sea turtle from extinction, then nesting sanctuaries will be created and the indiscriminate slaughter of these animals will be halted. If either nesting sanctuaries are created or poachers are arrested, then if the indiscriminate slaughter of these animals is halted, then the sea turtle population will not 1continue to decrease. Therefore, the sea turtle population will not continue to decrease. (C, R, N, I, P)1