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.
It is not the case that strict controls exist on either the manufacture or the sale of handguns. Therefore, if strict controls exist on the sale of handguns, then the use of handguns in the commission of crimes has decreased. (M, S, U)