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