;            Maria-Piotr        Ewa-Adam
;            -----------        --------
;              /  |  \          /  |  \
;             /   |   \        /   |   \
;            /  Marek  \      /  Joanna \
; Robert-Agata         Jan-Anna         Krzysztof-Agnieszka
; ------------         --------         -------------------
;     /  \               /  \                   /  \
;    /    \             /    \                 /    \
;   /      \           /      \               /      \
; Radek   Beata      Darek   Tomek         Jacek    Iwona

(deffacts kobiety
(kobieta Maria)
(kobieta Ewa)
(kobieta Agata)
(kobieta Anna)
(kobieta Agnieszka)
(kobieta Beata)
(kobieta Iwona)
(kobieta Joanna)
)

(deffacts mezczyzni
(mezczyzna Piotr)
(mezczyzna Adam)
(mezczyzna Marek)
(mezczyzna Robert)
(mezczyzna Jan)
(mezczyzna Krzysztof)
(mezczyzna Radek)
(mezczyzna Darek)
(mezczyzna Tomek)
(mezczyzna Jacek)
)

(deffacts rodzice
(rodzic Maria Marek)
(rodzic Maria Agata)
(rodzic Maria Jan)

(rodzic Piotr Marek)
(rodzic Piotr Agata)
(rodzic Piotr Jan)
;-----------------------------
(rodzic Ewa Anna)
(rodzic Ewa Joanna)
(rodzic Ewa Krzysztof)

(rodzic Adam Anna)
(rodzic Adam Joanna)
(rodzic Adam Krzysztof)
;-----------------------------
(rodzic Agata Radek)
(rodzic Agata Beata)

(rodzic Robert Radek)
(rodzic Robert Beata)
;-----------------------------
(rodzic Anna Darek)
(rodzic Anna Tomek)

(rodzic Jan Darek)
(rodzic Jan Tomek)
;-----------------------------
(rodzic Agnieszka Jacek)
(rodzic Agnieszka Iwona)

(rodzic Krzysztof Jacek)
(rodzic Krzysztof Iwona)
)

(defrule matka
(kobieta ?x)
(rodzic ?x ?y)
=>
(assert (matka ?x ?y))
)

(defrule ojciec
(mezczyzna ?x)
(rodzic ?x ?y)
=>
(assert (ojciec ?x ?y))
)

(defrule siostra
(kobieta ?x)
(rodzic ?z ?x)
(rodzic ?z ?y&~?x)
=>
(assert (siostra ?x ?y))
)

(defrule brat
(mezczyzna ?x)
(rodzic ?z ?x)
(rodzic ?z ?y&~?x)
=>
(assert (brat ?x ?y))
)

(defrule babcia
(kobieta ?x)
(rodzic ?x ?z)
(rodzic ?z ?y)
=>
(assert (babcia ?x ?y))
)

(defrule dziadek
(mezczyzna ?x)
(rodzic ?x ?z)
(rodzic ?z ?y)
=>
(assert (dziadek ?x ?y))
)

(defrule stryj "brat ojca"
(mezczyzna ?x)
(rodzic ?z ?x)
(rodzic ?z ?y&~?x)
(mezczyzna ?y)
(rodzic ?y ?d)
=>
(assert (stryj ?x ?d))
)

(defrule wuj "brat matki"
(mezczyzna ?x)
(rodzic ?z ?x)
(rodzic ?z ?y)
(kobieta ?y)
(rodzic ?y ?d)
=>
(assert (wuj ?x ?d))
)