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

; negacja wartości pola
; ---------------------

; negacja stałej
(defrule para-blond1
(osoba ?im1 blond ?)
(osoba ?im2 ~blond ?)  ; kolor włosów inny niż blond!
=>
(assert (parka-blond1 ?im1 ?im2)))

; negacja zmiennej
(defrule para-blond2
(osoba ?im1 blond ?ko)
(osoba ?im2 blond ~?ko)  ; blond włosy ale kolor oczu różny!!!
=>
(assert (parka-blond2 ?im1 ?im2)))