1   C Ʌ D       Premiss
2   C ↔ E       Premiss
3   D ↔ F       Premiss
4   D → F       3 (↔E)
5   C → E       2 (↔E)
6   E Ʌ D       1, 5
7   E Ʌ F       3, 6

1   C Ʌ D       Premiss
2   C ↔ E       Premiss
3   D ↔ F       Premiss
4   D           1 (ɅE)
5   D → F       3 (↔E)
6   F           4, 5 (->E)
7   C           1 (ɅE)
8   C → E       2 (↔E)
9   E           7, 8 (->E)
10  E Ʌ F       6, 9 (ɅI)