parent(bill, jake).
parent(bill, shelly).
sibling( X, Y) :- parent(M, X), parent(M, Y), X \== Y.