MAYBE The Term Rewrite System could not be solved using the inference rules :( First of all, check if your input has no errors, e.g. wrong signatures. Then, if there is not error, please file a bug report.