premise: A black and white dog with a blue halter runs through the grass. hypothesis: The dogs are sleeping on the street.
contradiction: A black and white dog runs through the grass.  The black and white dog with a blue halter do not sleep on the street.