premise: A man pushing a very full grocery cart walks with another man wearing a red leather jacket. hypothesis: a man wearing colored shoes running into another man.
contradiction: The man is either walking with or running into the other man, but not both at once.