Відправити по sms: Теория логического вывода