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