premise: A blue charter bus driving by a woman in a pink hat making food for her shop. hypothesis: The bus runs on nuclear power.
contradiction: A charter bus can not be a bus that runs on nuclear power.