Ordered, random order

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]

O = r(b) > p(a) > r(a) > q(b) > q(a) > p(b)

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

7. 6+1 = ~p(b)              [2]
6+? =                           Sibling killed parent

9. 8+2 = q(a) | p(b)        [4] Subsumed by p(b)
8+? =                           Sibling killed parent

10. 9+1 = p(b)              [2]
9+? =                           Sibling killed parent

10+7 = FALSE