If some surgeons are allergists, then some psychiatrists are radiologists. But no psychiatrists are radiologists. Therefore, no surgeons are allergists. (S, A, P, R)

Translate the following arguments into symbolic form. Then use the quantifier negation rule and the eighteen rules of inference to derive the conclusion of each. Do not use either conditional proof or indirect proof.