premise: Back end of horse and rider outside a boxcar ramp. hypothesis: The horse is sleeping.
contradiction: With the back of the horse and rider outside of a boxcar ramp means the horse is  not sleeping.