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