Text: 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.
Entailment: Chinook, a computer almost beat a world class player in checkers.
Contradiction: A computer has beaten the second best human player.