Inference Engine using Propositional Logic version 2