p(X):-t(X,Y,Z),~p(Y),~p(Z).
p(b):-~r(a).
t(a,a,b).
t(a,b,a).
