(VAR x y z )
(RULES 
        b(b(y,z),c(a,a,a)) -> f(c(z,y,z))
        f(b(b(a,z),c(a,x,y))) -> z
        c(y,x,f(z)) -> b(f(b(z,x)),z)
        
)