It's not hard to say a proven test career is greater. You won't get pushback from many people on this. You don't need to use an example showing the opposite to prove this.Pollock played over 100 tests.
If injuries could happen any time, for all we know Procter could have had a freak injury and have reduced effectiveness the rest of his intl career. Point is we don't have an Intl sample for him, we do for Pollock a proven test great, and we can't elevate Procter over him.
Honestly, what's the point of intl career if you are just going to point to FC stats to prove greatness? Unless we assume some drop off in his FC stats for Procter as an intl cricketer, this is simply saying FC = test cricket. It's just a jump in logic.
Procter is in the same boat as some of the other isolation era players. Worse test career than most, but better player than most. He's just better positioned to be confident in than most of the others as you have 3 disciplines to draw from.
These isolation player era debates can be a bit pointless. Most people at least somewhat agree on the status of their test careers and their quality at the level they played. But disagree on which to prioritise, which is simply speaking different languages. Or on how much extrapolation to tests is possible. Which is more fair, but is very hypothetical.