Translate the following arguments into symbolic form and then use the first thirteen rules of inference to derive the conclusion of each. Use the translation letters in the order in which they are listed
Protein engineering will prove to be as successful as genetic engineering, and new enzymes will be developed for producing food and breaking down industrial wastes. If protein engineering proves to be as successful as genetic engineering and new enzymes are developed for breaking down industrial wastes, then it is not the case that new enzymes will be developed for producing food but not medicines. Therefore, protein engineering will prove to be as successful as genetic engineering and new enzymes will be developed for producing medicines. (E, P, B, M)