MAYBE
163.56/56.49	MAYBE
163.56/56.49	
163.56/56.49	Problem:
163.56/56.49	 a(b(a(x1))) -> b(c(x1))
163.56/56.49	 b(b(b(x1))) -> c(b(x1))
163.56/56.49	 c(x1) -> a(b(x1))
163.56/56.49	 c(d(x1)) -> d(c(b(a(x1))))
163.56/56.49	
163.56/56.49	Proof:
163.56/56.49	 Open
163.56/56.49	EOF