MAYBE
219.74/55.57	MAYBE
219.74/55.57	
219.74/55.57	Problem:
219.74/55.57	 b(a(x1)) -> a(b(x1))
219.74/55.57	 c(c(x1)) -> a(b(c(x1)))
219.74/55.57	 c(b(x1)) -> b(c(x1))
219.74/55.57	 a(a(x1)) -> b(a(c(x1)))
219.74/55.57	
219.74/55.57	Proof:
219.74/55.57	 Open
219.74/55.57	EOF