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
Reasoning: Evander Holyfield had a boxing match against Mike Tyson and Evander Holyfield won.
Answer: yes