If all possible rules are tried, the program terminates.
اگر تمامی قوانین انجام شوند برنامه تمام خواهد شد.