родитель('Джон','Боб').
родитель('Мери','Боб').
родитель('Мери','Энн').
родитель('Боб','Лиз').
родитель('Боб','Паул').
родитель('Боб','Сэм').
родитель('Паул','Пат').

мужчина('Джон').
мужчина('Боб').
мужчина('Паул').
мужчина('Пат').
мужчина('Сэм').
женщина('Мэри').
женщина('Энн').
женщина('Лиз').

брат(Z,W):-родитель(X,Z),родитель(X,W),мужчина(Z).
сестра(Z,W):-родитель(X,Z),родитель(X,W),женщина(Z).
отец(Z,W):-родитель(Z,W),мужчина(Z).
мать(Z,W):-родитель(Z,W),женщина(Z).
внук(Z,X):-родитель(X,W),родитель(W,Z),мужчина(Z).
тетя(Z,W):-родитель(X,W),сестра(Z,X).