發送短信: Теория логического вывода