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,
em5hayhrdW4pLgp6bmFrKHplbHZhKS4Kem5hayhwZXMpLgpvYmFydmkgOi0gem5hayhDMSksIHpuYWsoQzIpLCB6bmFrKEMzKSwgem5hayhDNCksIEMxIFw9IEMyLCBDMSBcPSBDMywgQzEgXD0gQzQsIEMyIFw9IEM0LCBDMyBcPSBDNCwgQzIgPT0ga3VuLCBDMyA9PSBrdW4sCndyaXRlKEMxIDogQzIgOiBDMyA6IEM0KSxmYWlsLg==