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: foldf(x,nil()) -> x
    8: foldf(x,cons(y,z)) -> f(foldf(x,z),y)
    9: f(t,x) -> f'(t,g(x))
    10: f'(triple(a,b,c),C()) -> triple(a,b,cons(C(),c))
    11: f'(triple(a,b,c),B()) -> f(triple(a,b,c),A())
    12: f'(triple(a,b,c),A()) -> f''(foldf(triple(cons(A(),a),nil(),c),b))
    13: f''(triple(a,b,c)) -> foldf(triple(a,b,nil()),c)
Number of Rules: 13
Direct QLPOS ... failed.