Your article explains lucidly how GT shows that the centre hole in Solitaire is the only reasonable location for the last ball.
However, the article starts by saying it will show how GT can solve the puzzle.
It does not do this and I can't see how the process you outline, using GT, can achieve this.
Am I missing something?
More information about formatting options