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

; koniunkcja wartości pola
; -------------------------

; koniunkcja dla stałych

(defrule blond-rude
(osoba ?im blond&rude ?) ; UWAGA!!! BŁĄD!!!
=>
(assert (pasemka ?im)))

; koniunkcja ze zmienną

(defrule para-blond
(osoba ?im1 blond ?ko)
(osoba ?im2 blond ?ko&~piwne)  ; blond włosy ale kolor oczu ten i nie piwne!!!
=>
(assert (parka-blond ?im1 ?im2)))