I'm noticed while working on the deductive reasoning brain file that verbage is very critical, for example if I tell hal "if I drop my glass then it will fall" and later say "I dropped my glass" hal will not make the association for a deductive response the verbage has to match. If I tell hal "If I dropped my glass then it will fall" and again say later "I dropped my glass" hal will make a deductive response. When you are entering deductive statements into hal keep that in mind.
Glenn