premise: A man in a black coat walks past a red spaceship with a parking ticket stuck to its window. hypothesis: The spaceship of the future is only available in blue.
contradiction: A red spaceship is not a blue spaceship.