premise: A yellow and green truck is hauling two bulldozers down a tree lined road. hypothesis: A truck is parked in the sun.
contradiction: A truck cannot be parked in the sun and haul two bulldozers.