MAYBE

Problem:
 q(e(),x) -> x
 q(q(x,y),z) -> q(x,q(y,z))
 q(x,q(y,z)) -> q(q(x,y),z)
 eq(e(),q(a(),x)) -> false()
 eq(q(a(),x),q(a(),y)) -> eq(x,y)
 eq(x,y) -> eq(y,x)

Proof:
 Open