maennlich(fritz).
maennlich(steffen). 
maennlich(paul). 
maennlich(josef). 
maennlich(tom). 

weiblich(sina).  
weiblich(karin). 
weiblich(lisa). 
weiblich(maria). 
weiblich(jerry). 

vater(steffen,paul). 
vater(steffen,lisa). 
vater(fritz,karin). 
vater(paul,maria). 
vater(paul,josef). 

mutter(sina,paul). 
mutter(sina,lisa). 
mutter(karin,maria). 
mutter(karin,josef). 
mutter(lisa,tom). 
mutter(lisa,jerry). 

elternteil(X,Kind) :-vater(X,Kind).
elternteil(X,Kind) :-mutter(X,Kind).

grossvater(X,Enkel) :- vater(X,Z),elternteil(Z,Enkel).
grossmutter(X,Enkel) :- mutter(X,Z),elternteil(Z,Enkel).

maenlich(X) :- vater(X,Y).

bruder(X,Y) :-maennlich(X), elternteil(E,X), elternteil(E,Y), X\==Y