premise: An adult Australian Shepherd follows behind a running Australian Shepherd puppy. hypothesis: An adult dog is running after a kitten.
contradiction: if the dog follows a puppy it can not be an adult dog running.