MAYBE
220.90/55.87	MAYBE
220.90/55.87	
220.90/55.87	Problem:
220.90/55.87	 b(a(b(x1))) -> a(b(a(x1)))
220.90/55.87	 b(b(a(x1))) -> b(b(b(x1)))
220.90/55.87	 c(a(x1)) -> a(b(c(x1)))
220.90/55.87	 c(b(x1)) -> b(a(c(x1)))
220.90/55.87	
220.90/55.87	Proof:
220.90/55.87	 Open
220.90/55.87	EOF