Question: What all-time leading NFL rusher was one of "The Triplets"?
Sentence (from "Michael Irvin"): Michael Jerome Irvin (born March 5, 1966) is a retired American football player, actor, and sports commentator.
Relevant evidence: No