MAYBE
34.44/10.33	MAYBE
34.44/10.33	
34.44/10.33	Problem:
34.44/10.33	 a(x1) -> x1
34.44/10.33	 a(b(x1)) -> c(b(a(a(x1))))
34.44/10.33	 b(x1) -> c(x1)
34.44/10.33	 c(c(x1)) -> b(x1)
34.44/10.33	
34.44/10.33	Proof:
34.44/10.33	 Open
34.44/10.34	EOF