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

(defrule para-blond
(osoba ?im1 blond ?ko)
(osoba ?im2 blond ?ko) ; ten sam kolor oczu!!!
=>
(assert (parka-blond ?im1 ?im2)))