TIMEOUT
MAYBE
Trs:
 {            and(tt(), X) -> activate(X),
              __(nil(), X) -> X,
           __(__(X, Y), Z) -> __(X, __(Y, Z)),
              __(X, nil()) -> X,
  isNePal(__(I, __(P, I))) -> tt(),
               activate(X) -> X}
 Open