premise: A large dog is leaping over some logs in a woodland clearing. hypothesis: The dog is barking at a squirrel up a tree.
contradiction: if the dog is leaping over some logs he is not backing at a squirrel up a tree.