(defrule init
    (initial-fact)
=>
    (printout t "Car starts? (yes/no)" crlf)
    (bind ?answer (read))
    (assert (car-starts ?answer))
)

(defrule car-starts-yes
    (car-starts yes)
=>
    (printout t "Sorry only do non-starting." crlf)
)

(defrule car-starts-no
     (car-starts no)
=>
    (printout t "Starter motor turns? (yes/no)" crlf)
    (bind ?answer (read))
    (assert (starter-motor ?answer))
)