premise: A bus is carrying people while decorated with banners in the colors of the rainbow. hypothesis: An empty bus waits at an abandoned bus stop.
contradiction: A bus carrying people is not an empty bus.