“Knowing” that some line works to some ridiculous depth is different than understanding how and why.

And at some level the answer is simply “because every possible refutation fails” and there is no simpler pattern to match against nor intuition to be had. That is the how and why of it.