premise: A man is leading an ox pulling a cart through a rain forest. hypothesis: A man is pulling an ox through the desert.
contradiction: A man is pulling an ox either through the a rain forest or the desert.