1p(X) :- not q(X, Y).
    2q(X, Y) :- not p(X), s(Y).
    3r :- q(C, C).
    4s(_).
    5:- p(X), Z \= 7, q(Z, 0).