Exactly. He's a 1:10-1:11 half marathon runner on Ironman courses (and based on his GPS files, they are 12.8-12.9 miles)... I've run 1:06 and I know for a fact he can't run a 9:34 two mile with that form and looking like that. Would love to see him jump on a track and try that.
He ran 3000m.
How do you know for a fact? Have you actually seen him try, and fail? Or are you just speculating? Because if you are just speculating, it isn't a fact. It is only a fact if it is provable. I suspect what you mean is that you don't think he could do it, but you are not really sure.