premise: A red bus travels down a street with a large waterfall in the middle. hypothesis: A bus is being refueled at the gas station.
contradiction: A bus can not travel and be refueled simultaneously.