Homework on §2.3—Fri 9/10 and due Mon 9/13

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

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