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