;;
;;
;; First Test
(progn
  (format t "~%FIRST TEST:~%")
  (format t "Answer Y (yes) to the following questions, N (no) to anything else:~%")
  (format t "  (PATIENT SLURS SPEECH)~%  (PATIENT HAS LOSS OF BALANCE)~%")
  (format t "  (PATIENT HAS RED BLOOD)~%  (PATIENT HAS NORMAL HAIR)~%")
  (format t "  (PATIENT HAS NORMAL NOSE)~%  (PATIENT HAS NORMAL EARS)~%~%")
  
  (initialize '(patient has red eyes))
  
  (prove '(patient is drunk)))

;;
;; Second test
(progn
  (format t "~%SECOND TEST:~%")
  (format t "Answer Y (yes) to the following questions, N (no) to anything else:~%")
  (format t "  (PATIENT HAS DERRELOSLEXIA)~%  (PATIENT HAS WIERD EARS)~%")
  (format t "  (PATIENT HAS DISCOLORED EXTREMITIES)~%  (PATIENT HAS GREEN BLOOD)~%~%")
  
  (prove '(treat patient with aceto-bineuralase)))

;;
;; third test

(progn 
  (format t "~%THIRD TEST:~%")

  (prove '(treat patient with aceto-bineuralase) :verbose t))

(progn
  (format t "~%CURRENT FACTBASE:~%")
  (show-facts))