MAYBE
Time: 0.055

Problem:
 Equations:
  pAC(pAC(x3,x4),x5) -> pAC(x3,pAC(x4,x5))
  pAC(x3,x4) -> pAC(x4,x3)
  pAC(x3,pAC(x4,x5)) -> pAC(pAC(x3,x4),x5)
  pAC(x4,x3) -> pAC(x3,x4)
 TRS:
  pAC(x,zero()) -> x
  pAC(i(x),x) -> zero()
  m(z,pAC(x,y)) -> pAC(m(z,x),m(z,y))
  m(pAC(x,y),z) -> pAC(m(x,z),m(y,z))
  b(x,x) -> zero()
  pAC(b(b(x,y),z),pAC(b(b(y,z),x),b(b(z,x),y))) -> zero()
  b(pAC(x,y),z) -> pAC(b(x,z),b(y,z))
  b(x,pAC(y,z)) -> pAC(b(x,y),b(x,z))

Proof:
 Open