Inference Engine using Propositional Logic version 3