1n(0).
    2n(s(X)) :- n(X).
    3p(X, Y) :- not q(X), t(Y, Y).
    4q(X) :- not p(X, Y).
    5r(V) :- r(V2).
    6r(3.14).
    7s(N) :- N \= 3.14.
    8t(A, A).
    9%a(X):- not b(X), t(X,X).
   10%b(X):- not c(X), not q(X).
   11%c(X):- not a(X).