premise: Large brown dog walks up a blue staircase. hypothesis: A small brown dog is sleeping at the bottom of the stairs.
contradiction: Something cannot be both small and large. One cannot be sleeping at the bottom of the stairs and walk up the stairs at the same time.