Question: Which retired American football player played defense for the 1983 Dallas Cowboys, and briefly left football in 1979 to pursue a career in boxing?
Sentence (from "Michael Irvin"): Michael Jerome Irvin (born March 5, 1966) is a retired American football player, actor, and sports commentator.
Relevant evidence: No