premise: A blue truck is driving on a desert road carrying several people and lots of assorted cargo. hypothesis: A motionless truck.
contradiction: A motionless truck can not be driving.|contradiction: The truck is either driving on a desert road or motionless.|contradiction: If the truck is driving, then it is not motionless.