0.00/0.87	MAYBE
0.00/0.87	
0.00/0.87	Problem:
0.00/0.87	not(x) -> false() <= x = true()
0.00/0.87	not(x) -> true() <= x = false()
0.00/0.87	
0.00/0.87	Proof:
0.00/0.87	ConCon could not decide confluence of the system.
0.00/0.87	\cite{ALS94}, Theorem 4.1 does not apply.
0.00/0.87	ConCon could not decide whether all 2 critical pairs are joinable or not.
0.00/0.87	CP: false() = true() <= x = false(), x = true():
0.00/0.87	ConCon could not decide infeasibility of this critical pair.
0.00/0.87	
0.00/0.92	EOF