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