(VAR x y z )
(RULES 
        +(-(x,y),z) -> -(+(x,z),y)
        -(+(x,y),y) -> x
        
)