premise: A man and a dog are sitting on a park bench with several people walking down the path that runs along side it. hypothesis: A dog runs in an empty park.
contradiction: The dog can't be sitting with a man and run at the same time.