| ?- sib3(X,Y).

X = bart,
Y = lisa ? ;

X = bart,
Y = maggie ? ;

X = lisa,
Y = bart ? ;

X = lisa,
Y = maggie ? ;

X = maggie,
Y = bart ? ;

X = maggie,
Y = lisa ? ;

no
| ?- sib3(lisa,X).

X = bart ? ;

X = maggie ? ;

no
| ?-