premise: A small car drives on two wheels on a village street. hypothesis: A large truck is on the highway.
contradiction: A vehicle can not be both a car and a truck. One can be driving on a street or a highway but not both simultaneously.