MAYBE
MAYBE
TRS:
 {
                    __(X, nil()) -> X,
                      __(X1, X2) -> n____(X1, X2),
                 __(__(X, Y), Z) -> __(X, __(Y, Z)),
                    __(nil(), X) -> X,
                           nil() -> n__nil(),
                       U11(tt()) -> tt(),
                       U22(tt()) -> tt(),
                       isList(V) -> U11(isNeList(activate(V))),
                isList(n__nil()) -> tt(),
           isList(n____(V1, V2)) -> U21(isList(activate(V1)), activate(V2)),
                     activate(X) -> X,
              activate(n__nil()) -> nil(),
         activate(n____(X1, X2)) -> __(activate(X1), activate(X2)),
                activate(n__a()) -> a(),
                activate(n__e()) -> e(),
                activate(n__i()) -> i(),
                activate(n__o()) -> o(),
                activate(n__u()) -> u(),
                   U21(tt(), V2) -> U22(isList(activate(V2))),
                       U31(tt()) -> tt(),
                       U42(tt()) -> tt(),
                     isNeList(V) -> U31(isQid(activate(V))),
         isNeList(n____(V1, V2)) -> U41(isList(activate(V1)), activate(V2)),
         isNeList(n____(V1, V2)) -> U51(isNeList(activate(V1)), activate(V2)),
                   U41(tt(), V2) -> U42(isNeList(activate(V2))),
                       U52(tt()) -> tt(),
                   U51(tt(), V2) -> U52(isList(activate(V2))),
                       U61(tt()) -> tt(),
                       U72(tt()) -> tt(),
                        isPal(V) -> U81(isNePal(activate(V))),
                 isPal(n__nil()) -> tt(),
                    U71(tt(), P) -> U72(isPal(activate(P))),
                       U81(tt()) -> tt(),
                   isQid(n__a()) -> tt(),
                   isQid(n__e()) -> tt(),
                   isQid(n__i()) -> tt(),
                   isQid(n__o()) -> tt(),
                   isQid(n__u()) -> tt(),
                      isNePal(V) -> U61(isQid(activate(V))),
  isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(P)),
                             a() -> n__a(),
                             e() -> n__e(),
                             i() -> n__i(),
                             o() -> n__o(),
                             u() -> n__u()
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
                      __(X, nil()) -> X,
                        __(X1, X2) -> n____(X1, X2),
                   __(__(X, Y), Z) -> __(X, __(Y, Z)),
                      __(nil(), X) -> X,
                             nil() -> n__nil(),
                         U11(tt()) -> tt(),
                         U22(tt()) -> tt(),
                         isList(V) -> U11(isNeList(activate(V))),
                  isList(n__nil()) -> tt(),
             isList(n____(V1, V2)) -> U21(isList(activate(V1)), activate(V2)),
                       activate(X) -> X,
                activate(n__nil()) -> nil(),
           activate(n____(X1, X2)) -> __(activate(X1), activate(X2)),
                  activate(n__a()) -> a(),
                  activate(n__e()) -> e(),
                  activate(n__i()) -> i(),
                  activate(n__o()) -> o(),
                  activate(n__u()) -> u(),
                     U21(tt(), V2) -> U22(isList(activate(V2))),
                         U31(tt()) -> tt(),
                         U42(tt()) -> tt(),
                       isNeList(V) -> U31(isQid(activate(V))),
           isNeList(n____(V1, V2)) -> U41(isList(activate(V1)), activate(V2)),
           isNeList(n____(V1, V2)) ->
    U51(isNeList(activate(V1)), activate(V2)),
                     U41(tt(), V2) -> U42(isNeList(activate(V2))),
                         U52(tt()) -> tt(),
                     U51(tt(), V2) -> U52(isList(activate(V2))),
                         U61(tt()) -> tt(),
                         U72(tt()) -> tt(),
                          isPal(V) -> U81(isNePal(activate(V))),
                   isPal(n__nil()) -> tt(),
                      U71(tt(), P) -> U72(isPal(activate(P))),
                         U81(tt()) -> tt(),
                     isQid(n__a()) -> tt(),
                     isQid(n__e()) -> tt(),
                     isQid(n__i()) -> tt(),
                     isQid(n__o()) -> tt(),
                     isQid(n__u()) -> tt(),
                        isNePal(V) -> U61(isQid(activate(V))),
    isNePal(n____(I, n____(P, I))) -> U71(isQid(activate(I)), activate(P)),
                               a() -> n__a(),
                               e() -> n__e(),
                               i() -> n__i(),
                               o() -> n__o(),
                               u() -> n__u()
   }
  Fail