Модель обратного логического вывода