11.53/3.49	MAYBE
11.53/3.49	
11.53/3.49	Problem:
11.53/3.49	cons(x, cons(y, rest)) -> cons(z1, cons(z2, rest)) <= orient(x, y) = pair(z1, z2)
11.53/3.49	cons(x, cons(x, rest)) -> cons(x, rest)
11.53/3.49	orient(s(x), s(y)) -> pair(s(z1), s(z2)) <= orient(x, y) = pair(z1, z2)
11.53/3.49	orient(s(x), 0()) -> pair(0(), s(x))
11.53/3.49	
11.53/3.49	Proof:
11.53/3.49	ConCon could not decide confluence of the system.
11.53/3.49	\cite{ALS94}, Theorem 4.1 does not apply.
11.53/3.49	ConCon could not decide whether all 6 critical pairs are joinable or not.
11.53/3.49	CP: cons($2, cons($3, $4)) = cons(x, cons(z', cons($3, $4))) <= orient($2, $3) = pair(x, z'):
11.53/3.49	ConCon could not decide infeasibility of this critical pair.
11.53/3.49	
12.10/3.57	EOF