7
dominates(joe, mountain)
dominates(N1, N2)
immediately_dominates(N1, N2)
chama
8
, para N1 = joe e N2 = mountain: falha
dominates(N1, N3)
immediately_dominates(N1, N2)
chama
9
, para N1 = joe e N2 = N
9
: falha
dominates(N2, N3)
Volta para
4