premise: A man lies on a mat in a parking lot between a brown SUV and a yellow pickup with an open door. hypothesis: The man is in his car in the parking lot.
contradiction: The man that lies on a mat is definitely not in his car.