Прога неправильно определяет братьев. Visual Prolog 5.2

Формулировка задачи:

predicates
мужской(symbol)
женский(symbol)
родители(symbol, symbol, symbol)
сестра(symbol Кто, symbol Кому)
брат(symbol, symbol)
 
старт()
 
clauses
мужской(игорь). 
мужской(алексей).
мужской(вадим).
мужской(виталий).
мужской(александр).
мужской(вячеслав).
 
женский(ирина).
женский(вера).
женский(валентина).
 
родители(игорь, алексей, ирина). %Здесь такой порядок: родители(сын/дочь, отец, мать)
родители(ирина, вячеслав, вера).
родители(алексей, вадим, валентина).
родители(александр, вячеслав, вера).
родители(виталий, вадим, валентина).

сестра(Сестра, Брата):-женский(Сестра),родители(Сестра,_,Мама),родители(Брата,_,Мама), мужской(Брата).
брат(Брат, Сестры):-мужской(Брат),родители(Брат,_,Мама),родители(Сестры,_,Мама),женский(Сестры).
брат(Брат, Брата):-мужской(Брат), родители(Брат,Папа,Мама),родители(Брата,Папа,Мама),мужской(Брата).

старт:-сестра(Кто, Кому),  write(Кто, " является сестрой для человека по имени " ,Кому),nl, fail.
старт:-брат(Кто, Кому), write(Кто, " является братом для человека по имени " ,Кому),nl, fail.

goal старт.

Сестру находит нормально (Ирина сестра Александра), а вот с братьями проблема. По условию Виталий брат Алексею, соответственно Алексей брат Виталию, Александр брат Ирине. Александр брат Ирине выводится правильно и один раз. Но с братьями косяк. Вот что выводит прога: ирина является сестрой для человека по имени александр ////%тут правильно александр является братом для человека по имени ирина ////%правильно игорь является братом для человека по имени игорь //// %ошибка алексей является братом для человека по имени алексей ////%ошибка алексей является братом для человека по имени виталий //// %правильно виталий является братом для человека по имени алексей //// %правильно виталий является братом для человека по имени виталий //// %ошибка александр является братом для человека по имени александр //// %ошибка Почему прога выводит в братья одного и того же человека? Как исправить? P.S. В прологе новичок!

Решение задачи: «Прога неправильно определяет братьев. Visual Prolog 5.2»

textual
                            Листинг программы 
                        
                            Брат <> Брата