eq(B,C),contains(B,D) -> contains(C,D).
eq(B,C),contains(C,D) -> contains(B,D).
contains(B,s3(C,B)),contains(C,s3(C,B)),eq(C,B).
contains(B,s3(C,B)),contains(C,s3(C,B)) -> eq(C,B).
eq(B,B).


eq(x,y).
eq(y,z).
eq(z,u).
eq(x,u) -> [].