TORPAcyc is applied to the string rewriting system a -> b interpretation of a: 10 interpretation of b: 9 remove rule 1 termination has been proved