grandparent(X,Z):-parent(X,Y),parent(Y,Z).
sibling(X,Y):-parent(Z,X),parent(Z,Y).
auntuncle(X,Y):-parent(Z,Y),sibling(Z,X),not(parent(X,Y)).

parent(wayne,adam).
parent(deb,adam).
parent(wayne,amanda).
parent(deb,amanda).
parent(dick,deb).
parent(dick,don).
parent(dick,rick).
parent(dick,david).