premise: Three men stand on the deck of a blue painted ship, two wearing hard hats and one in scuba diving gear. hypothesis: A red ship has no one on its deck.
contradiction: three Men can't stand at not no one stand at the same time.