Базовый алгоритм процесса проверки правил
 В результате применения каждого оператора проверки некоторые правила принимаются, а другие отвергаются до тех пор, пока не выполнено условие TerminateValidationProcess