(VAR u v x y z )
(RULES 
        f(x,y,f(z,u,v)) -> f(f(x,y,z),u,f(x,y,v))
        
)