Ordered, from notes

5. ~p(X) | q(X) | ~r(X)         [6]
4. p(a) | p(b)                  [4]
1. ~q(Y)                        [2]
2. r(a)                         [2]
3. r(b                          [2]

6. 5+4 = p(b) | q(a) | ~r(a)    [6]

7. 6+5 = q(a) | ~r(a) | q(b) | ~r(b) [8] Subsumed by ~r(a) | q(b) | ~r(b)

8. 7+1 = ~r(a) | q(b) | ~r(b)   [6] Subsumed by ~r(a) | ~r(b)

9. 8+1 = ~r(a) | ~r(b)          [4] Subsumed by ~r(b)

10. 9+2 = ~r(b)                 [2]

10+3 = FALSE

-------------------------------------------------------------------
Ordered from notes, variables

6. p(b) | r(Y) | p(Y)          [6] Subsumed by r(Y) | p(Y)
4. ~p(S) | p(b)                [4] Subsumed by ~p(S)
1. ~p(b)                       [2] Subsumed by ~p(S)
2. ~r(a)                       [2]
3. ~r(c)                       [2]

5. 4+1 = ~p(S)                 [2]

7. 6+5 = r(Y) | p(Y)           [2] Subsumed by r(Y)
    = p(b) | r(Y)                  Chosen sibling subsumed parent
    = r(b)                         Chosen sibling subsumed parent
    
8. 7+5 = r(Y)                  [2]

8+2 = FALSE