Translate the following argument into symbolic form. The letters to be used for the simple statements are given in parentheses.

If asbestos workers sue their employers $($S$),$ then if punitive damages are awarded $($P$),$ then their employers will declare bankruptcy $($B$).$ If asbestos workers sue their employers, then punitive damages will be awarded. If asbestos workers contract asbestosis $($C$),$ 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. Use indirect proof to derive the conclusion.