d2(r,1,2).
d2(r,2,1).
d2(s,1,1).
d3(t,2,1,2).
q2(r,x,y).
q2(r,y,x).
q2(s,x,x).
q3(t,y,z,y).