Question: Which professional wrestler is also a football player?
Sentence (from "Cain Velasquez"): Cain Velasquez (born July 28, 1982) is an American mixed martial artist.
Relevant evidence: No