Tahap 1. Lingkungan \(\{b\}\) tidak bertemu \(X\setminus A\text{.}\)

Tahap 2. Lingkungan \(\{d,e,f\}\) tidak bertemu \(A\text{.}\)

Tahap 3. Periksa \(a\) dan \(c\) menggunakan lingkungan \(\{a,b,c\}\text{.}\)