criminal(K,H,I1,I2):-
    dif(K,H),
    dif(K,I1),
    dif(K,I2),
    dif(H,I1),
    dif(H,I2),
    dif(I1,I2),
    member(K,[a,b,c,d]),
    member(H,[a,b,c,d]),
    member(I1,[a,b,c,d]),
    member(I2,[a,b,c,d]),
    ((I1=a;I2=a)->AA=1;AA=0),
    ((I1=b;I2=b)->BB=1;BB=0),
    ((I1=c;I2=c)->CC=1;CC=0),
    ((I1=d;I2=d)->DD=1;DD=0),
    ( ( ((I1=b;I2=b),K\=b,H\=b); ((I1=c;I2=c),K\=c,H\=c))-> A=1;A=0),
    ( ( ((K=a; H=a),(I1\=a,I2\=a)); (I1\=c,I2\=c,(H=c; K=c))) -> B=1;B=0),
    ( ( (K\=b,(I1=b;I2=b; H=b));(K\=d, H\=d, (I1=d;I2=d))) -> C=1;C=0),
    ( ((I1=d,I2=d), K\=d, H\=d )-> D=1;D=0),
    (AA=:=A),
    (BB=:=B),
    (CC=:=C),
    (DD=:=D).