(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)
)

; toti copiii bruneti pe grupe de varsta
(defrule formeaza-grupa
  (copil ? ? ? brunet ?v)
  (not (grupa ?v $?))
  =>
  (assert (grupa ?v))
)

(defrule insert-in-grupa
  (copil ?n ? ? brunet ?v)
  ?idxg <- (grupa ?v $?g&:(not(member$ ?n $?g)))
  =>
  (retract ?idxg)
  (assert (grupa ?v $?g ?n))
)