4. ~mother(C,M) | husband_of(M) = father_of(C)     [12]
1. mother(geoff,maggie)                            [6]
2. bob = husband_of(maggie)                        [8]
3. father_of(geoff) != bob                         [8]

w = 2+1, p = alpha, uasing ordered resolution too

5. 4+1 = husband_of(maggie) = father_of(geoff)     [10]

6. 5+3 = husband_of(maggie) != bob                 [8]

7. 6+2 = bob != bob                                [6]

7+ER = FALSE

~mother(C,M)                 == {{mother(C,M),mother(C,M)}}
husband_of(M) = father_of(C) == {{husband_of(M)},{father_of(C)}}

~mother(C,M)                > husband_of(M) = father_of(C)
{{mother(C,M),mother(C,M)}} > {{husband_of(M)},{father_of(C)}}
{mother(C,M),mother(C,M)}   > {husband_of(M)}
mother(C,M)                 > husband_of(M)
4                           > 3
    AND
{mother(C,M),mother(C,M)}   > {father_of(C)}
mother(C,M)                 > father_of(C)
4                           > 3