Input TRS:
    1: azzzz(zz(X,Y),Z) -> azzzz(mark(X),azzzz(mark(Y),mark(Z)))
    2: azzzz(X,nil()) -> mark(X)
    3: azzzz(nil(),X) -> mark(X)
    4: azzand(tt(),X) -> mark(X)
    5: azzisList(V) -> azzisNeList(V)
    6: azzisList(nil()) -> tt()
    7: azzisList(zz(V1,V2)) -> azzand(azzisList(V1),isList(V2))
    8: azzisNeList(V) -> azzisQid(V)
    9: azzisNeList(zz(V1,V2)) -> azzand(azzisList(V1),isNeList(V2))
    10: azzisNeList(zz(V1,V2)) -> azzand(azzisNeList(V1),isList(V2))
    11: azzisNePal(V) -> azzisQid(V)
    12: azzisNePal(zz(I,zz(P,I))) -> azzand(azzisQid(I),isPal(P))
    13: azzisPal(V) -> azzisNePal(V)
    14: azzisPal(nil()) -> tt()
    15: azzisQid(a()) -> tt()
    16: azzisQid(e()) -> tt()
    17: azzisQid(i()) -> tt()
    18: azzisQid(o()) -> tt()
    19: azzisQid(u()) -> tt()
    20: mark(zz(X1,X2)) -> azzzz(mark(X1),mark(X2))
    21: mark(and(X1,X2)) -> azzand(mark(X1),X2)
    22: mark(isList(X)) -> azzisList(X)
    23: mark(isNeList(X)) -> azzisNeList(X)
    24: mark(isQid(X)) -> azzisQid(X)
    25: mark(isNePal(X)) -> azzisNePal(X)
    26: mark(isPal(X)) -> azzisPal(X)
    27: mark(nil()) -> nil()
    28: mark(tt()) -> tt()
    29: mark(a()) -> a()
    30: mark(e()) -> e()
    31: mark(i()) -> i()
    32: mark(o()) -> o()
    33: mark(u()) -> u()
    34: azzzz(X1,X2) -> zz(X1,X2)
    35: azzand(X1,X2) -> and(X1,X2)
    36: azzisList(X) -> isList(X)
    37: azzisNeList(X) -> isNeList(X)
    38: azzisQid(X) -> isQid(X)
    39: azzisNePal(X) -> isNePal(X)
    40: azzisPal(X) -> isPal(X)
Number of Rules: 40
Direct POLO(Pol) ... failed.