Propositional Logic Parser/Interpreter gem