MAYBE
42.86/11.39	MAYBE
42.86/11.39	
42.86/11.39	Problem:
42.86/11.39	 a____(__(X,Y),Z) -> a____(mark(X),a____(mark(Y),mark(Z)))
42.86/11.39	 a____(X,nil()) -> mark(X)
42.86/11.39	 a____(nil(),X) -> mark(X)
42.86/11.39	 a__and(tt(),X) -> mark(X)
42.86/11.39	 a__isNePal(__(I,__(P,I))) -> tt()
42.86/11.39	 mark(__(X1,X2)) -> a____(mark(X1),mark(X2))
42.86/11.39	 mark(and(X1,X2)) -> a__and(mark(X1),X2)
42.86/11.39	 mark(isNePal(X)) -> a__isNePal(mark(X))
42.86/11.39	 mark(nil()) -> nil()
42.86/11.39	 mark(tt()) -> tt()
42.86/11.39	 a____(X1,X2) -> __(X1,X2)
42.86/11.39	 a__and(X1,X2) -> and(X1,X2)
42.86/11.39	 a__isNePal(X) -> isNePal(X)
42.86/11.39	
42.86/11.39	Proof:
42.86/11.39	 Open
42.86/11.39	EOF