•Começamos então a escolher o par de cláusulas para resolver.
–10.  Ø Romano(Marco) v LealA(Marco,Cesar) (SUBST(Marco,x2) em 5 e 9)
–11. Ø Pompeiano(Marco) v LealA(Marco,Cesar) (SUBST(Marco,x1 em 3 e 10)
–12. LealA(Marco,Cesar) (2 e 11)
–13. Ø Homem(Marco) v Ø Soberano(Cesar) v ØTentarAssassinar(Marco,Cesar)
– (SUBST(Marco,x4) e SUBST(Cesar,y1) em 7 e 12)
–14. Ø Soberano(Cesar) v ØTentarAssassinar(Marco,Cesar)  (1 e 13)
–15. ØTentarAssassinar(Marco,Cesar)  (4 e 14)
–16. VAZIA (8 e 15)
–
•