premise: A white, black, and brown dog walks down a path in a forested area. hypothesis: The dog is running in the dog park.
contradiction: A dog running is not a dog that walks. A park is a not a forested area.