Text this: Логическое следование и условные высказывания