Lisp prototype of the Aristo reasoner