znak(kun).
znak(zelva).
znak(pes).
obarvi :- znak(C1), znak(C2), znak(C3), znak(C4), C1 \= C2, C1 \= C3, C1 \= C4, C2 \= C4, C3 \= C4, C2 == kun, C3 == kun,
write(C1 : C2 : C3 : C4),fail.