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

; alternatywa wartości pola
; -------------------------

; alternatywa dla stałych

(defrule blond-lub-rude
(osoba ?im blond|rude ?)  ; kolor włosów blond lub rude
=>
(assert (jasne-wlosy ?im)))

; alternatywa ze zmienną

(defrule para-blond
(osoba ?im1 blond ?ko)
(osoba ?im2 blond ?ko|piwne)  ; blond włosy ale kolor oczu ten sam lub ktośma piwne!!!
=>
(assert (parka-blond ?im1 ?im2)))