premise: a black and white staffordshire terrier has his paw on large branch. hypothesis: The dog is swimming in the lake.
contradiction: The dog cannot have his paw on a large branch if he is swimming.