(deffacts dane
(rectangle 10 6)
(rectangle 7 5)
(rectangle 6 8)
(rectangle 2 5)
(sum 0)
)

(defrule first-attempt
(rectangle ?height ?width)
?i<-(sum ?total)
=>
(retract ?i)
(assert (sum (+ ?total (* ?height ?width))))
)