| 0 | 1 | 2 | - | 3 | 4 | 5 | - | 6 | 7 | done |
| │¬ (B ∧ F) | (5) | |
| │¬ (F ∧ ¬ B) | (7) | |
| ├─ | ||
| │ | ||
| ││F | (4), (6) | |
| │├─ | ||
| ││││B | (4) | |
| │││├─ | ||
| 4 Adj | ││││B ∧ F | X, (5) |
| ││││● | ||
| │││├─ | ||
| 5 Nc | ││││⊥ | 3 |
| ││├─ | ||
| 3 RAA | │││¬ B | 2 |
| ││ | ||
| │││¬ B | (6) | |
| ││├─ | ||
| 6 Adj | │││F ∧ ¬ B | X, (7) |
| │││● | ||
| ││├─ | ||
| 7 Nc | │││⊥ | 2 |
| │├─ | ||
| 2 LFR | ││⊥ | 1 |
| ├─ | ||
| 1 RAA | │¬ F |