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.

If asbestos workers sue their employers, then if punitive damages are awarded, then their employers will declare bankruptcy. If asbestos workers sue their employers, then punitive damages will be awarded. If asbestos workers contract asbestosis, then either they will sue their employers or their employers will declare bankruptcy. Therefore, either asbestos workers will not contract asbestosis or their employers will declare bankruptcy. (S, P, B, C)