First version of "Inference Engine using Propositional Logic"