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