MAYBE
MAYBE
TRS:
 {
                    __(X, nil()) -> X,
                      __(X1, X2) -> n____(X1, X2),
                 __(__(X, Y), Z) -> __(X, __(Y, Z)),
                    __(nil(), X) -> X,
                           nil() -> n__nil(),
                     activate(X) -> X,
              activate(n__nil()) -> nil(),
          activate(n__isList(X)) -> isList(X),
         activate(n____(X1, X2)) -> __(activate(X1), activate(X2)),
        activate(n__isNeList(X)) -> isNeList(X),
           activate(n__isPal(X)) -> isPal(X),
                activate(n__a()) -> a(),
                activate(n__e()) -> e(),
                activate(n__i()) -> i(),
                activate(n__o()) -> o(),
                activate(n__u()) -> u(),
                    and(tt(), X) -> activate(X),
                     isNeList(X) -> n__isNeList(X),
                     isNeList(V) -> isQid(activate(V)),
         isNeList(n____(V1, V2)) ->
  and(isNeList(activate(V1)), n__isList(activate(V2))),
         isNeList(n____(V1, V2)) ->
  and(isList(activate(V1)), n__isNeList(activate(V2))),
                       isList(X) -> n__isList(X),
                       isList(V) -> isNeList(activate(V)),
                isList(n__nil()) -> tt(),
           isList(n____(V1, V2)) ->
  and(isList(activate(V1)), n__isList(activate(V2))),
                   isQid(n__a()) -> tt(),
                   isQid(n__e()) -> tt(),
                   isQid(n__i()) -> tt(),
                   isQid(n__o()) -> tt(),
                   isQid(n__u()) -> tt(),
                      isNePal(V) -> isQid(activate(V)),
  isNePal(n____(I, n____(P, I))) ->
  and(isQid(activate(I)), n__isPal(activate(P))),
                        isPal(X) -> n__isPal(X),
                        isPal(V) -> isNePal(activate(V)),
                 isPal(n__nil()) -> tt(),
                             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(),
                       activate(X) -> X,
                activate(n__nil()) -> nil(),
            activate(n__isList(X)) -> isList(X),
           activate(n____(X1, X2)) -> __(activate(X1), activate(X2)),
          activate(n__isNeList(X)) -> isNeList(X),
             activate(n__isPal(X)) -> isPal(X),
                  activate(n__a()) -> a(),
                  activate(n__e()) -> e(),
                  activate(n__i()) -> i(),
                  activate(n__o()) -> o(),
                  activate(n__u()) -> u(),
                      and(tt(), X) -> activate(X),
                       isNeList(X) -> n__isNeList(X),
                       isNeList(V) -> isQid(activate(V)),
           isNeList(n____(V1, V2)) ->
    and(isNeList(activate(V1)), n__isList(activate(V2))),
           isNeList(n____(V1, V2)) ->
    and(isList(activate(V1)), n__isNeList(activate(V2))),
                         isList(X) -> n__isList(X),
                         isList(V) -> isNeList(activate(V)),
                  isList(n__nil()) -> tt(),
             isList(n____(V1, V2)) ->
    and(isList(activate(V1)), n__isList(activate(V2))),
                     isQid(n__a()) -> tt(),
                     isQid(n__e()) -> tt(),
                     isQid(n__i()) -> tt(),
                     isQid(n__o()) -> tt(),
                     isQid(n__u()) -> tt(),
                        isNePal(V) -> isQid(activate(V)),
    isNePal(n____(I, n____(P, I))) ->
    and(isQid(activate(I)), n__isPal(activate(P))),
                          isPal(X) -> n__isPal(X),
                          isPal(V) -> isNePal(activate(V)),
                   isPal(n__nil()) -> tt(),
                               a() -> n__a(),
                               e() -> n__e(),
                               i() -> n__i(),
                               o() -> n__o(),
                               u() -> n__u()
   }
  Fail