Базис правил автоматического утверждения