(deftemplate teorema
(multifield ipoteze)
(multifield concluzii)
)

(deftemplate intrebare
(multifield ipoteze)
(multifield concluzii)
)

(deffacts sist_demonstratii
(teorema (ipoteze i) (concluzii a b c))
(teorema (ipoteze a b) (concluzii x))
(teorema (ipoteze b) (concluzii y))
(teorema (ipoteze c) (concluzii z))
(teorema (ipoteze c) (concluzii t))
(teorema (ipoteze a) (concluzii o))
(teorema (ipoteze x) (concluzii o))
(teorema (ipoteze y) (concluzii o))
(teorema (ipoteze t) (concluzii o))

(intrebare (ipoteze i) (concluzii o))
)


(defrule start
(intrebare (ipoteze $? ?ip $?))
=>
(assert (ipoteza_adev ?ip))
)