premise: A large dog watching a small dog. hypothesis: The dogs are in separate kennels in separate rooms.
contradiction: The large and small dog cannot be together and in separate areas at the same time.