Translate the following arguments into symbolic form and use the first eight rules of inference to derive the conclusion of each. Use the letters in the order in which they are listed.

If clear-cutting continues in primary forests and the Endangered Species Act is not repealed, then either the Endangered Species Act will be repealed or thousands of animal species will become extinct. Clear-cutting continues in primary forests. The Endangered Species Act will not be repealed. Therefore, thousands of animal species will become extinct. (C, E, T)