premise: Two horses, pulling a cart full of hay, are eating hay from the ground. hypothesis: Two horses are running over the hill.
contradiction: The horses cannot be pulling a cart and running over a hill at the same time.