example:
PREDICATES
nondeterm likes (symbol,symbol)
CLAUSES
likes (ali,football).
likes (ali,tenis).
likes (ahmad,tenis).
likes (ahmad,handball).
likes (samir,handball).
likes (samir,swimming).
likes (khaled,horseriding).
GOAL
%
likes (Person, G1), likes (Person,G2), G1<>G2.