Исследуйте возможность индуктивного логического вывода на основе фактографической нейронной сети Антрополога-Исследователя для дополнения понятийной нейронной сети, представленной ниже.
Если дополнить понятийную нейронную сеть правилом вывода
дедушка(X,Y) :- мужчина Х, родитель(X,P), родитель(P,Y)на основе родства Фёдора, Ивана и Василия, то справедлив ли вывод о том, что Фёдор – дедушка Ирины?