premise: A dog is near three farm animals with horns outside. hypothesis: Five cats live on a farm.
contradiction: A dog is near three animals with horns, but there are five cats, and they don't have horns.