Rules of Inference fix

All 9 rules of inference are operational.  Next goal is the coordinate
system and rules of replacement.