Suppose we have a dataset with two symbols a and b and two unary relations p and q where all possible facts are true, i.e. the dataset is {p(a), p(b), q(a), q(b)}. Suppose we have a closed logic program consisting of this dataset and the rule r(X) :- p(X) & ~q(X).