s(1).
t(1).
s(2).
p(X) :- s(X),~r(X).
r(X) :- t(X),~r(X).
