According to https://www.geni.com/people/Geoffrey-Hinton-FRS/600000006697... , yes:

Geoffrey Everest Hinton → Howard Everest Hinton → George Hinton → Mary Ellen Hinton → George Boole

That is a pretty awesome bit of trivia. I assume they did some basic fact checking, and if Hinton's grandfather was not Boole, he probably would notice this in the article and correct it.

It certainly seems plausible: https://en.wikipedia.org/wiki/George_Boole

In a video chat between Andrew Ng and Hinton (part of Deeplearning.ai course), Hintom himself confirms this.