【演習問題６：``自明でない問題'' (TPTP/MSC006-1)】

dom(A),dom(B)-->p(A,B);q(A,B).

p(A,B),p(B,C)-->p(A,C).
q(A,B),q(B,C)-->q(A,C).
q(A,B)-->q(B,A).

p(a,b)-->false.
q(c,d)-->false.

true-->dom(a),dom(b),dom(c),dom(d).