Input TRS:
    1: g(A()) -> A()
    2: g(B()) -> A()
    3: g(B()) -> B()
    4: g(C()) -> A()
    5: g(C()) -> B()
    6: g(C()) -> C()
    7: foldB(t,0()) -> t
    8: foldB(t,s(n)) -> f(foldB(t,n),B())
    9: foldC(t,0()) -> t
    10: foldC(t,s(n)) -> f(foldC(t,n),C())
    11: f(t,x) -> f'(t,g(x))
    12: f'(triple(a,b,c),C()) -> triple(a,b,s(c))
    13: f'(triple(a,b,c),B()) -> f(triple(a,b,c),A())
    14: f'(triple(a,b,c),A()) -> f''(foldB(triple(s(a),0(),c),b))
    15: f''(triple(a,b,c)) -> foldC(triple(a,b,0()),c)
Number of Rules: 15
Direct QTKBOS ... failed.