(defrule Ojciec-BPrzodek
    (Ojciec $x $y)
    =>
    (assert(BPrzodek $x $y))
)

(defrule BPrzodek-Przodek
    (and
        (Przodek $x $y)
        (BPrzodek $y $z)
    )
    =>
    (assert(Przodek $x $z))
)

(defrule Spokrewnienie-Przodek
    (Przodek $x $y)
    =>
    (assert(Spokrewnieni $y $x))
)

(defrule Spokrewnieni-Brat-Siostra
    (and
        (Brat $x $y)
        (Siostra $x $y)
    )
    =>
    (assert(Spokrewnieni $y $x))
)

(defrule Spokrwnieni-Brat-Siostra-Wszyscy
    (and
        (Spokrewnieni $x $y)
        (or
            (Brat $z $y)
            (siostra $z $y)
        )
    )
    =>
    (assert(Spokrewnieni $x $z))
)