14.74/4.24	MAYBE
14.74/4.24	
14.74/4.24	Problem:
14.74/4.24	cons(x, cons(y, rest)) -> cons(z1, cons(z2, rest)) <= orient(x, y) = pair(z1, z2)
14.74/4.24	cons(x, cons(x, rest)) -> cons(x, rest)
14.74/4.24	orient(s(x), s(y)) -> pair(s(z1), s(z2)) <= orient(x, y) = pair(z1, z2)
14.74/4.24	orient(s(x), 0()) -> pair(0(), s(x))
14.74/4.24	
14.74/4.24	Proof:
14.74/4.24	ConCon could not decide confluence of the system.
14.74/4.24	\cite{ALS94}, Theorem 4.1 does not apply.
14.74/4.24	ConCon could not decide whether all 6 critical pairs are joinable or not.
14.74/4.24	CP: cons($6, cons($9, cons(y, z'))) = cons(x, cons($7, cons($8, z'))) <= orient($6, $10) = pair(x, $7), orient($10, $8) = pair($9, y):
14.74/4.24	ConCon could not decide infeasibility of this critical pair.
14.74/4.24	
14.74/4.26	EOF