A, dann C, dann F, dann E

Am Ende verbleiben E und !E, was leeres Klausel ergibt → unerfuelbar

Alle Variable sind am Ende Markiert!