| ?- sib5(X,Y).

X = bart,
Y = lisa ? ;

X = bart,
Y = maggie ? ;

X = lisa,
Y = maggie ? ;

no
| ?- sib5(maggie,bart).

yes
| ?- sib5(maggie,X).

X = bart ? ;

X = lisa ? ;

no
| ?-