premise: A game of Carcassonne is being played on a table while one guy considers his move. hypothesis: A guy is playing checkers.
contradiction: Carcassonne and checkers are two different board games.