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.
Relation: contradiction