Premise: Checkers masters stared down their Armageddon a few years ago, when a powerful computer program named Chinook forged a tie with the second-best checkers player in the world, Don Lafferty.

Hypothesis: Chinook, a computer almost beat a world class player in checkers.
Relation: entailment