syn siostry Kuba: Korzystając z symboli k(x) − x jest kobietą oraz r(x,y) − x jest rodzicem y zapisz zdanie: x jest siostrzeńcem y.

Pytający: Niech s będzie siostrą y, matką x. Zatem s, y mają wspólnego rodzica, powiedzmy p, (chyba nie jest konieczna dwójka rodziców taka sama − drugie małżeństwo, nieprawe łoże etc.). I jeśli x jest siostrzeńcem, to nie jest siostrzenicą (kobietą). Czyli: k(s) ∧ r(p,s) ⋀ r(p,y) ⋀ r(s,x) ∧ ∼k(x)