MAYBE
60.74/17.19	MAYBE
60.74/17.19	
60.74/17.19	Problem:
60.74/17.19	 __(__(X,Y),Z) -> __(X,__(Y,Z))
60.74/17.19	 __(X,nil()) -> X
60.74/17.19	 __(nil(),X) -> X
60.74/17.19	 and(tt(),X) -> activate(X)
60.74/17.19	 isList(V) -> isNeList(activate(V))
60.74/17.19	 isList(n__nil()) -> tt()
60.74/17.19	 isList(n____(V1,V2)) -> and(isList(activate(V1)),n__isList(activate(V2)))
60.74/17.19	 isNeList(V) -> isQid(activate(V))
60.74/17.19	 isNeList(n____(V1,V2)) -> and(isList(activate(V1)),n__isNeList(activate(V2)))
60.74/17.19	 isNeList(n____(V1,V2)) -> and(isNeList(activate(V1)),n__isList(activate(V2)))
60.74/17.19	 isNePal(V) -> isQid(activate(V))
60.74/17.19	 isNePal(n____(I,n____(P,I))) -> and(isQid(activate(I)),n__isPal(activate(P)))
60.74/17.19	 isPal(V) -> isNePal(activate(V))
60.74/17.19	 isPal(n__nil()) -> tt()
60.74/17.19	 isQid(n__a()) -> tt()
60.74/17.19	 isQid(n__e()) -> tt()
60.74/17.19	 isQid(n__i()) -> tt()
60.74/17.19	 isQid(n__o()) -> tt()
60.74/17.19	 isQid(n__u()) -> tt()
60.74/17.19	 nil() -> n__nil()
60.74/17.19	 __(X1,X2) -> n____(X1,X2)
60.74/17.19	 isList(X) -> n__isList(X)
60.74/17.19	 isNeList(X) -> n__isNeList(X)
60.74/17.19	 isPal(X) -> n__isPal(X)
60.74/17.19	 a() -> n__a()
60.74/17.19	 e() -> n__e()
60.74/17.19	 i() -> n__i()
60.74/17.19	 o() -> n__o()
60.74/17.19	 u() -> n__u()
60.74/17.19	 activate(n__nil()) -> nil()
60.74/17.19	 activate(n____(X1,X2)) -> __(activate(X1),activate(X2))
60.74/17.19	 activate(n__isList(X)) -> isList(X)
60.74/17.19	 activate(n__isNeList(X)) -> isNeList(X)
60.74/17.19	 activate(n__isPal(X)) -> isPal(X)
60.74/17.19	 activate(n__a()) -> a()
60.74/17.19	 activate(n__e()) -> e()
60.74/17.19	 activate(n__i()) -> i()
60.74/17.19	 activate(n__o()) -> o()
60.74/17.19	 activate(n__u()) -> u()
60.74/17.19	 activate(X) -> X
60.74/17.19	
60.74/17.19	Proof:
60.74/17.19	 Open
60.74/17.20	EOF