(VAR x )
(RULES 
        f(x) -> x
        g(x) -> x
        f(x) ->= g(x)
        g(x) ->= f(x)
)