Parser and library for the logical system of George Boole's The Laws of Thought