Claim: "Evander Holyfield defeated Mike Tyson in a boxing match."
Is the claim above correct, and can it be verified by human common sense and without a web search?
Options:
- yes
- no
Your chain-of-thought:

Show your work and conclude with the exact phrasing "Therefore, the final answer is [answer]." where [answer] is just the final number or expression that solves the problem.
user
Evander Holyfield had a boxing match against Mike Tyson and Evander Holyfield won. The answer is yes.