0.00/0.90	MAYBE
0.00/0.90	
0.00/0.90	Problem:
0.00/0.90	not(x) -> false() <= x = true()
0.00/0.90	not(x) -> true() <= x = false()
0.00/0.90	
0.00/0.90	Proof:
0.00/0.90	ConCon could not decide confluence of the system.
0.00/0.90	\cite{SMI95}, Corollary 4.7 or 5.3 do not apply.
0.00/0.90	Some of the 2 critical pairs are not trivial and  ConCon could not decide whether those all are infeasible.
0.00/0.90	CP: false() = true() <= x = false(), x = true():
0.00/0.90	ConCon could not decide infeasibility of this critical pair.
0.00/0.90	
0.00/0.93	EOF