q2(e,1,2). q2(e,1,3). q2(e,2,3).
q2(e,3,4).
q2(e,4,2).

d2(e,red,blue).
d2(e,red,green).
d2(e,green,blue).
d2(e,green,red).
d2(e,blue,green).
d2(e,blue,red).