farbe(rot).
farbe(blau).
farbe(gelb).
einfaerbung(A,B,C,D) :- farbe(A),farbe(B),farbe(C),farbe(D),
    A\=B,A\=C,A\=D,B\=D,C\=D.