premise: A horse or mule is pulling a man in a cart down a paved road. hypothesis: A man is driving a pickup truck.
contradiction: The man cannot be driving a pickup truck if the horse or mule is pulling him in a car.