2.87/1.56	MAYBE
2.87/1.56	
2.87/1.56	Proof:
2.87/1.56	ConCon could not decide confluence of the system.
2.87/1.56	\cite{ALS94}, Theorem 4.1 does not apply.
2.87/1.56	This system is of type 3 or smaller.
2.87/1.56	This system is strongly deterministic.
2.87/1.56	This system is of type 3 or smaller.
2.87/1.56	This system is deterministic.
2.87/1.56	This system is non-terminating.
2.87/1.56	Call external tool:
2.87/1.57	./ttt2.sh
2.87/1.57	Input:
2.87/1.57	(VAR )
2.87/1.57	(RULES
2.87/1.57	  a -> b
2.87/1.57	  a -> c
2.87/1.57	  b -> c
2.87/1.57	  b -> b
2.87/1.57	)
2.87/1.57	
2.87/1.57	 Containment Processor: loop length: 1
2.87/1.57	                        terms:
2.87/1.57	                         b()
2.87/1.57	                        context: []
2.87/1.57	                        substitution:
2.87/1.57	                         
2.87/1.57	  Qed
2.87/1.57	ConCon could not decide if this system is quasi-decreasing.
2.87/1.57	\cite{A14}, Theorem 11.5.9 does not apply.
2.87/1.57	This system is of type 3 or smaller.
2.87/1.57	This system is deterministic.
2.87/1.57	This system is non-terminating.
2.87/1.57	Call external tool:
2.87/1.57	./ttt2.sh
2.87/1.57	Input:
2.87/1.57	(VAR )
2.87/1.57	(RULES
2.87/1.57	  a -> b
2.87/1.57	  a -> c
2.87/1.57	  b -> c
2.87/1.57	  b -> b
2.87/1.57	)
2.87/1.57	
2.87/1.57	 Containment Processor: loop length: 1
2.87/1.57	                        terms:
2.87/1.57	                         b()
2.87/1.57	                        context: []
2.87/1.57	                        substitution:
2.87/1.57	                         
2.87/1.57	  Qed
2.87/1.57	
2.87/1.59	EOF