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