195.92/50.12	MAYBE
195.92/50.12	
195.92/50.12	Problem:
195.92/50.12	 a(b(x1)) -> x1
195.92/50.12	 a(c(x1)) -> b(b(x1))
195.92/50.12	 c(b(x1)) -> a(c(c(a(x1))))
195.92/50.12	
195.92/50.12	Proof:
195.92/50.12	 Open
195.92/50.12	EOF