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