premise: A light blond dog is running on the shoreline. hypothesis: A dog is at home, fast asleep.
contradiction: A dog can be either on the shoreline or at home. A dog can be either asleep or running.