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