Translate the following arguments into symbolic form, using the letters in the order in which they are listed. Then use indirect proof and the eighteen rules of inference to derive the conclusion of each. Having done so, attempt to derive the conclusion without using indirect proof.
Either deposits should be required on beer and soft-drink containers, or these containers will be discarded along highways and the countryside will look like a dump. If these containers will be discarded either in parks or along highways, then deposits should be required on soft-drink containers. Therefore, deposits should be required on soft-drink containers. (B, S, H, C, P)