1% false.
    2p(X) :- not q(X).
    3q(X) :- not p(X).
    4
    5r(X) :- X \= 1, p(X), not r(X).
    6s(X) :- X \= 2, p(X), not s(X).
    7
    8?- p(X).