MAYBE
228.43/58.14	MAYBE
228.43/58.14	
228.43/58.14	Problem:
228.43/58.14	 a(a(a(a(b(b(x1)))))) -> b(b(a(a(b(b(x1))))))
228.43/58.14	 b(b(a(a(x1)))) -> a(a(b(b(b(b(x1))))))
228.43/58.14	 b(b(c(c(a(a(x1)))))) -> c(c(c(c(a(a(a(a(b(b(x1))))))))))
228.43/58.14	
228.43/58.14	Proof:
228.43/58.14	 Open
228.43/58.14	EOF