premise: The big black dog is behind the little black dog. hypothesis: There are two black dogs that are playing with each other.
contradiction: The dogs cannot be behind each other and playing with each other.