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 cigarette smokers are warned of the hazards of smoking and they continue to smoke, then they cannot sue tobacco companies for any resulting lung cancer or emphysema. Cigarette smokers are warned of the hazards of smoking. Therefore, if cigarette smokers continue to smoke, they cannot sue tobacco companies for any resulting lung cancer or emphysema. (W, C, S )