Boole, Mary Everest