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, because Don Lafferty made a mistake.