Inference Engine using Propositional Logic