premise: A man in a black hat is pushing a cart full of boxes down the street as a lady in brown boots walks by. hypothesis: A man is pushing an empty cart in the library.
contradiction: The cart cannot be both full and empty at the same time. The street cannot be inside of a library and the inside of the library cannot be on the street.