YES
exiting with thread!
(VAR x y z )
(RULES 
        f(f(x,y),z) -> f(x,f(y,z))
        f(i(x),x) -> e
        f(x,e) -> x
        i(e) -> e
        f(i(x),f(x,z)) -> f(e,z)
        f(x,f(e,z)) -> f(x,z)
        i(i(x)) -> f(e,x)
        f(x,f(y,i(y))) -> x
        f(e,i(x)) -> i(x)
        f(x,f(y,f(i(y),z))) -> f(x,z)
        f(e,f(i(x),z)) -> f(i(x),z)
        i(f(x,y)) -> f(i(y),i(x))
        
)