TRS: {p(f(f(x))) -> q(f(g(x))), p(g(g(x))) -> q(g(f(x))), q(f(f(x))) -> p(f(g(x))), q(g(g(x))) -> p(g(f(x)))} Fail