Input TRS:
    1: c(b(a(X))) -> a(a(b(b(c(c(X))))))
    2: a(X) -> e()
    3: b(X) -> e()
    4: c(X) -> e()
Number of Rules: 4
Direct QWPOS(Sum) ... failed.