Homework on §2.3—Fri 9/9 and due Mon 9/12

Construct a derivation to show that the following claim of entailment does not hold and present a counterexample that divides an open gap:

A ∧ B, (C ∧ D) ∧ E ⇒ D ∧ (C ∧ F)