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