Claim: Mike Tyson retired from professional boxing in 1994.
Verdict: REFUTES