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 )

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.