7		D, C, E, A, F / B	●
		│	│
6		D, C, E, A, F / B	D, C, E, A, F / C
		└─────┬─────┘
5	●	D, C, E, A, F / B ∧ C
	│	│
4	D, C, E, A, F / A	D, C, E, A, F / B ∧ C
	└──────────┬─────┘
3	D, C, E, A, F / A ∧ (B ∧ C)
	│
2	D ∧ C, E, A, F / A ∧ (B ∧ C)
	│
1	D ∧ C, E, A ∧ F / A ∧ (B ∧ C)
	│
	(D ∧ C) ∧ E, A ∧ F / A ∧ (B ∧ C)

1

2

3

4

5

6

7