premise: A dog with a red collar runs in a forest in the middle of winter. hypothesis: The dog is in the living room.
contradiction: Animal that runs in a forest can not be in a living room at the same time.