(deffacts dane
(temp wysoka)
(ogien obecny)
)

(defrule alarm "Ratunku!!!"
(temp wysoka)
(ogien obecny)
=>
(assert (alarm wlaczony)))