Логика и рассуждения: Проверка утверждений