Translate the following arguments into symbolic form and then use the eighteen rules of inference to derive the conclusion of each. Use the translation letters in the order in which they are listed.
If birth-control devices are made available in high school clinics, then the incidence of teenage pregnancy will decrease. Therefore, if both birth-control information and birth-control devices are made available in high school clinics, then the incidence of teenage pregnancy will decrease. (D, P, I) 5. If Congress enacts a law that either establishes a religion or prohibits the free exercise of religion, then that law is unconstitutional. Therefore, if Congress enacts a law that establishes a religion, then that law is unconstitutional. (E, P, U)