Problem 1 Premises: ABA(BC)DC Prove that the premises entail D. Name each rule of inference/equivalence in a separate line. Do not forget to mention to which lines the rules were applied. Thus, in each line, you must name 1. the rule of inference/equivalence that you have used, 2. to which line(s) this rule has been applied (do not need to do it for premises). You are NOT allowed to use the truth tables method for the proof. Below is an example of good proof. You should have something similar. Example. Premises: (AB)CAC Prove that the premises entail B. Proof. 1. (AB)C Premise 2. A Premise 3. C Premise 4. (AB) Modus tollens (1,3) 5. AB Double negation (4) 6. B Disjunctive syllogism (2,5)