Translate the following arguments into symbolic form and prove them using the inference rules you've learned so far. The letters to be used for the atomic statements are given in parentheses after each passage. If either manufacturers will not concentrate on producing a superior product or they will not market their product abroad, then if they will not concentrate on producing a superior product, then the trade deficit will worsen. Either manufacturers will concentrate on producing a superior product or the trade deficit will not worsen. Manufacturers will not concentrate on producing a superior product. Thus, today's business managers lack imagination. (C, M, T, B)