| ?- sib4(X,Y).

X = bart,
Y = lisa ? ;

X = bart,
Y = maggie ? ;

X = lisa,
Y = maggie ? ;

no
| ?- 
| ?- 
| ?- 
| ?- sib4(lisa,bart).

no
| ?- sib4(maggie,X).

no
| ?- sib4(lisa,X).

X = maggie ? ;

no
| ?-