Homework on §2.2—assigned Wed 9/7 and due Fri 9/9

Construct a derivation to show: D ∧ (A ∧ C), B ∧ E ⇒ (A ∧ B) ∧ C