Lennox Lewis defeated Evander Holyfield to become the world heavyweight boxing champion.
Lewis beat Holyfield.
mnli hypothesis: Lewis beat Holyfield. premise: Lennox Lewis defeated Evander Holyfield to become the world heavyweight boxing champion.