If all possible rules are tried, the program terminates.
如果所有可能的规则都尝试过了，则程序终止。