[(d→t) ∧ d]→t

[(t→e) ∧ t]→e

d→t; ¬t→¬d; [¬t ∧ (d→t)]→¬d
t→e; ¬e→¬t; [¬e ∧ (t→e)]→¬t

[(d→t) ∧ (t→e)]→(d→e)
[(¬e→¬t) ∧ (¬t→¬d)]→(¬e→¬d)

d→t, d, ∴ d ∧ t; t→e, t, ∴ t ∧ e
d ∧ t, ∴ t ∧ d; t ∧ e, ∴ e ∧ t