programmer(austin_guthals).
man(austin).
man(josh).
man(adrian).

woman(portia).
woman(willow).
woman(jennie).
father(dennis, austin).
father(frank, kris).
father(ollie, dennis).
father(joe, josh).
father(joe, jennie).
father(cye, neil).
father(neil, portia).
mother(kris, adrian).
mother(eve, kris).
mother(ettie, dennis).
mother(anne, josh).
brother(austin, adrian).
brother(joe, dennis).
brother(josh, jennie).
brother(cye, ettie).
sister(portia, willow).
sister(willow, portia).

parent(X, Y) :- father(X, Y).
parent(X, Y) :- mother(X, Y).
descendant(X, Y) :- parent(Y, X).
descendant(X, Y) :-  grandmother(Y, X).
descendant(X, Y) :- grandfather(Y, X).
man(X) :- father(X, Y). 
man(X) :- grandfather(X, Y).
woman(X) :- mother(X, Y). 
woman(X) :- grandmother(X, Y).
grandfather(X, Y) :- father(X, Z), parent(Z, D), sibling(Y, D).
grandfather(X, Y) :- father(X, Z), parent(Z, Y).
grandmother(X, Y) :- mother(X, Z), parent(Z, D), sibling(Y, D).
grandmother(X, Y) :- mother(X, Z), parent(Z, Y).
grandparent(X, Y) :- grandfather(X, Y).
grandparent(X, Y) :- grandmother(X, Y).
grandchild(X, Y) :- grandparent(Y, X).
brother(X, Y) :- parent(Z, X), parent(Z, Y), not(X = Y), man(X).
sister(X, Y) :- parent(Z, X), parent(Z, Y), not(X = Y), woman(X).
sibling(X, Y) :- brother(X, Y).
sibling(X, Y) :- sister(X, Y).
uncle(X, Y) :- brother(X, Z), grandparent(Z, Y).
uncle(X, Y) :- brother(X, Z), parent(Z, Y).
uncle(X, Y) :- brother(X, Z), sibling(Q, Y), parent(Z, Q).
aunt(X, Y) :- sister(X, Z), grandparent(Z, Y).
aunt(X, Y) :- sister(X, Z), parent(Z, Y).
aunt(X, Y) :- sister(X, Z), sibling(Q, Y), parent(Z, Q).
aunt(X, Y) :- sister(X, Z), grandparent(Z, Y).
cousin(X, Y) :- uncle(Z, X), grandfather(Z, Y).
cousin(X, Y) :- uncle(Z, X), father(Z, Y).
cousin(X, Y) :- aunt(Z, X), grandmother(Z, Y).
cousin(X, Y) :- aunt(Z, X), mother(Z, Y).
cousin(Y, X) :- uncle(Z, X), grandfather(Z, Y).
cousin(Y, X) :- uncle(Z, X), father(Z, Y).
cousin(Y, X) :- aunt(Z, X), grandmother(Z, Y).
cousin(Y, X) :- aunt(Z, X), mother(Z, Y).
neice(X, Y) :- uncle(Y, X).
neice(X, Y) :- aunt(Y, X).