premise: A woman at the checkout aisle at Walmart with a cart full of Tidy Cats brand cat litter. hypothesis: The woman is racing the old man.
contradiction: The woman at the checkout aisle at Walmart could not have been racing the old man.