%% background knowledge

father(a,b).
father(a,c).
father(d,e).
father(d,f).
father(g,h).
father(g,i).

brother(b,c).
brother(c,b).
brother(e,f).

sister(f,c).
sister(h,i).
sister(i,h).