YES
(VAR x y)
(RULES
i(x) -> g(f(x,x))
f(x,h(y)) -> j(x)
f(h(x),y) -> j(h(x))
)