Input TRS:
    1: f(f(X)) -> f(g(f(g(f(X)))))
    2: f(g(f(X))) -> f(g(X))
Number of Rules: 2
Direct QKBOS(Sum) ... failed.