MAYBE
87.77/55.33	MAYBE
87.77/55.33	
87.77/55.33	Problem:
87.77/55.33	 a(a(x1)) -> x1
87.77/55.33	 b(b(x1)) -> c(c(c(x1)))
87.77/55.33	 b(c(x1)) -> a(b(b(x1)))
87.77/55.33	
87.77/55.33	Proof:
87.77/55.33	 Open
87.77/55.33	EOF