Комментарии — Построение суперпозиции правил логического вывода