Inference Engine using Propositional Logic version 1