premise: A man is pulling a heavily-laden yellow cart through traffic. hypothesis: A man rides a bike that's pulling an empty cart.
contradiction: The cart can either be heavily-laden or empty but not both.