The Boole Interactive Reasoning Assistant