premise: The big dog is looking through the fence at the small dog. hypothesis: The dogs are wrestling.
contradiction: Two dogs could not be wrestling if one dog is looking at the other through a fence.