premise: Looking through a vehicle's windshield at a dog crossing the road. hypothesis: The dog is sitting on the corner.
contradiction: A dog cannot be crossing the road if it is sitting on the corner.