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