MAYBE
47.12/13.61	MAYBE
47.12/13.61	
47.12/13.61	Problem:
47.12/13.61	 a(b(x)) -> b(a(a(x)))
47.12/13.61	 b(c(x)) -> c(b(b(x)))
47.12/13.61	 c(a(x)) -> a(c(c(x)))
47.12/13.61	 u(a(x)) -> x
47.12/13.61	 v(b(x)) -> x
47.12/13.61	 w(c(x)) -> x
47.12/13.61	 a(u(x)) -> x
47.12/13.61	 b(v(x)) -> x
47.12/13.61	 c(w(x)) -> x
47.12/13.61	
47.12/13.61	Proof:
47.12/13.61	 Open
47.12/13.62	EOF