9.54/3.35	MAYBE
9.54/3.35	
9.54/3.35	Proof:
9.54/3.35	ConCon could not decide confluence of the system.
9.54/3.35	\cite{SMI95}, Corollary 4.7 or 5.3 do not apply.
9.54/3.35	This system is oriented.
9.54/3.35	This system is of type 3 or smaller.
9.54/3.35	This system is right-stable.
9.54/3.35	This system is properly oriented.
9.54/3.35	This is an overlay system.
9.54/3.35	This system is left-linear.
9.54/3.35	This critical pair is conditional.
9.54/3.35	This critical pair has some non-trivial conditions.
9.54/3.35	Some of the 4 critical pairs are not trivial and ConCon could not decide whether those all are infeasible.
9.54/3.35	Overlap: (rule1: even(s(y)) -> false <= even(y) = true, rule2: even(s(z)) -> true <= odd(z) = true, pos: ε, mgu: {(y,z)})
9.54/3.35	CP: true = false <= even(z) = true, odd(z) = true
9.54/3.35	ConCon could not decide infeasibility of this critical pair.
9.54/3.35	
9.69/3.38	EOF