(deffacts copii
  (copil ion b 90 blond 4)
  (copil mihai b 92 blond 5)
  (copil maria f 98 brunet 4)
  (copil mircea b 96 saten 6)
  (copil vasile b 99 brunet 6)
  (copil tudor b 86 brunet 3)
  (copil ghita b 90 brunet 5)
  (copil george b 88 brunet 4)
  (copil silvia f 88 blond 3)
  (copil silviu b 93 brunet 5)
  (copil mioara f 80 roscat 3)
  (selectie)
)

; toti baietii bruneti si fetitele blonde
(defrule sel3
  (or ?idxc <- (copil ?n b ? brunet ?)
      ?idxc <- (copil ?n f ? blond ?))
  ?idxs <- (selectie $?sel&:(not (member$ ?n $?sel)))
  =>
  (retract ?idxc ?idxs)
  (assert (selectie $?sel ?n))
)