Did you ironically misread their comment, and didn't realize the grammar the reviewers were complaining about was the known bad examples his algo could fix?
It's hard to believe that the reviewers misunderstood the examples. It's more likely that the surrounding text was badly written, and the reviewers had no idea what they should be looking at.
There is the option of contacting the program committee chair or proceedings editor to complain if the reviewers misunderstood something fundamentally, like it looks like it happened in his example.
The teacher should have fought this battle for the pupil, or they ought to have their efforts re-targeted another conference.