Invia SMS: Теория логического вывода