premise: Two healthy horses play in a field. hypothesis: The two horses are laying down in their stalls.
contradiction: Two horses cannot be playing in the field and laying down in their stalls at the same time.