premise: a black and white dog tied to a yellow and white van. hypothesis: A dog is riding in a car.
contradiction: A dog cannot be both tied to and riding in a vehicle. A van is not the same as a car.