Нужна помощь по решению задачи

/*ФАКТЫ*/
/*мужчины*/
man(александр).
man(степан).
man(илья).
man(анатолий).
man(евгений).
man(юрий).
man(сергей).
man(олег). 
/*женщины*/
woman(ирина).
woman(наталья).
woman(елена).
woman(людмила).
woman(галина).
woman(вера).
woman(татьяна).
/*Кто и чей ребенок*/
child(сергей, елена). /*Сергей - ребенок Елены и т.д.*/
child(сергей, елена).
child(ирина, елена).
child(ирина, юрий).
child(олег, евгений).
child(олег, наталья). 
child(елена, галина).
child(елена, илья).
child(наталья, галина).
child(наталья, илья).
child(юрий, людмила).
child(юрий, анатолий). 
child(людмила, вера).
child(людмила, александр).
child(анатолий, степан).
child(анатолий, татьяна). 
/*ПРАВИЛА*/
parent(X, Y) :- child(Y, X). /*Х - родитель У, если в фактах указано У - ребенок Х*/
parents(X, Y, Z) :- parent(X, Z), parent(Y, Z), man(X), woman(Y). 
/*Х и У родители Z, если Х - родитель Z и У - родитель Z и Х - мужчина и У - женщина*/
brothersister(X, Y) :- parents(Z, W, X), parents(Z, W, Y), X \= Y, X@>Y.
/*Х и У - брат и сестра, если Z и W - родители Х и У, и Х не есть У, и Х следует по порядку за У*/
brother(X, Y) :- brothersister(X, Y), man(X).
/*Х - брат У, если Х и У - брат и сестра и Х - мужчина*/
sister(X, Y) :- brothersister(X, Y), woman(X).
/*Х - сестра У, если Х и У - брат и сестра и Х - женщина*/ 
mother(X, Y) :- parent(X, Y), woman(X).
/*Х - мама У, если Х - родитель У и Х - женщина*/
father(X, Y) :- parent(X, Y), man(X).
/*Х - отец У, если Х - родитель У и Х - мужчина*/
son(X, Y) :- child(X, Y), man(X).
/*Х - сын У, если Х - ребенок У и Х - мужчина*/
doughter(X, Y) :- child(X, Y), woman(X).
/*Х - дочь У, если Х - ребенок У и Х - женщина*/ 
grandparent(X, Y) :- child(Y, Z), child(Z, X).
/*Х - грэнни У, если У - ребенок Z и Z - ребенок Х*/
grandmother(X, Y) :- grandparent(X, Y), woman(X).
/*Х - бабушка У, если Х - грэнни У и Х - женщина*/
grandfather(X, Y) :- grandparent(X, Y), man(X).
/*Х - дедушка У, если Х - грэнни У и Х - мужчина*/ 
grandgrandparent(X, Y) :- grandparent(X, Z), parent(Z, Y).
/*Х - грэннигрэнни У, если Х - гренни Z и Z - гренни У*/
grandgrandfather(X, Y) :- grandgrandparent(X, Y), man(X).
/*Х - прадедушка У, если Х - грэннигренни У и Х - мужчина*/ 
grandgrandmother(X, Y) :- grandgrandparent(X, Y), woman(X).
/*Х - прабабушка У, если Х - грэннигренни У и Х - женщина*/  
aunt(X, Y) :- parents(Z, W, Y), (sister(X, Z) ; sister(X, W)).
/*Х - тетя У, если Z и W являются родителями У и(Х - сестра Z или Х - сестра W)*/ 
uncle(X, Y) :- parents(Z, W, Y), (brother(X, Z) ; brother(X, W)).
/*Х - дядя У, если Z и W являются родителями У и(Х - брат Z или Х - брат W)*/  
cousin(X, Y) :- parents(Zy, Wy, Y), parents(Zx, Wx, X), grandparent(G, Y), grandparent(G, X), Zy \= Zx, Wy \= Wx, X@>Y.
/*Х - кузен У, если Zу и Wу являются родителями У и Zх и Wх являются родителями Х и G - гренни У и G - гренни Х, Zy не есть Zx, Wy не есть wx, и X - следующая запись за Y*/