Premise: A red car is passing in front of a double-decker bus.
Hypothesis: There are no red cars in front of a bus
Relationship: contradiction