•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)
–
•