Deriving The Consequences From The Facts Using A Series Of Logical Steps