premise: A small dog chews on a blue shoe next to a large dog. hypothesis: Both dogs are fast asleep.
contradiction: Either both dogs are asleep, or one dog is chewing next to a large dog. Both cannot happen at the same time.