2.99/1.67	MAYBE
2.99/1.67	
2.99/1.67	Proof:
2.99/1.67	ConCon could not decide confluence of the system.
2.99/1.67	Inlined conditions in System R.
2.99/1.67	\cite{ALS94}, Theorem 4.1 does not apply.
2.99/1.67	This system is of type 3 or smaller.
2.99/1.67	This system is strongly deterministic.
2.99/1.67	This system is quasi-decreasing.
2.99/1.67	By \cite{A14}, Theorem 11.5.9.
2.99/1.67	This system is of type 3 or smaller.
2.99/1.67	This system is deterministic.
2.99/1.67	System R transformed to V(R) + Emb.
2.99/1.67	This system is terminating.
2.99/1.67	Call external tool:
2.99/1.67	./ttt2.sh
2.99/1.67	Input:
2.99/1.67	(VAR x y)
2.99/1.67	(RULES
2.99/1.67	  a -> c
2.99/1.67	  a -> d
2.99/1.67	  f(x, y) -> y
2.99/1.67	  f(x, y) -> c
2.99/1.67	  f(x, y) -> x
2.99/1.67	  f(x, y) -> y
2.99/1.67	)
2.99/1.67	
2.99/1.67	 LPO Processor:
2.99/1.67	  precedence:
2.99/1.67	   f > a > d ~ c
2.99/1.67	  problem:
2.99/1.67	   
2.99/1.67	  Qed
2.99/1.67	ConCon could not decide whether all 2 critical pairs are joinable or not.
2.99/1.67	Overlap: (rule1: a -> d, rule2: a -> c, pos: ε, mgu: {})
2.99/1.67	CP: c = d
2.99/1.67	ConCon could not decide context-joinability of this critical pair.
2.99/1.67	
3.28/1.69	EOF