Input TRS:
    1: c() -> f(n__g(n__c()))
    2: f(n__g(X)) -> g(activate(X))
    3: g(X) -> n__g(X)
    4: c() -> n__c()
    5: activate(n__g(X)) -> g(X)
    6: activate(n__c()) -> c()
    7: activate(X) -> X
Number of Rules: 7
Direct QWPOS(Pol) ... failed.