meta-inference function

Функция металогического вывода