mnli 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: A computer has beaten the second best human player.