pyPL Python-based interface for defining sentences and making inferences in the language of Propositional Logic