(deffacts dane
(osoba Marcin blond niebieskie)
(osoba Ania rude niebieskie)
(osoba Jacek blond piwne)
(osoba Dorota czarne piwne)
(osoba Asia blond niebieskie)
)

; kilka ograniczników
; -------------------

(defrule para-blond
(osoba ?im1 blond ?ko)
(osoba ?im2&~?im1 blond ?ko)  ; osoba ?im2 NA PEWNO inna niz ?im1
=>
(assert (parka-blond ?im1 ?im2)))