~mother(C,M) | husband_of(M) = father_of(C)
mother(geoff,maggie)
bob = husband_of(maggie)
father_of(geoff) != bob

4. mother(C,M) != eqTrue | husband_of(M) = father_of(C)  [21]
3. mother(geoff,maggie) = eqTrue                         [14]
1. bob = husband_of(maggie)                              [12]
2. father_of(geoff) != bob                               [12]

w = 3+2+1, p = alpha+ eqTrue is last

5. 4+3 = eqTrue != eqTrue | husband_of(maggie) = father_of(geoff)  [22]

6. 5+2 = eqTrue != eqTrue | husband_of(maggie) != bob              [??]

7. 6+1 = eqTrue != eqTrue | bob != bob

8. 7+ER = eqTrue != eqTrue

8+ER = FALSE