premise: This child is on the library steps. hypothesis: The child is on the school steps.
contradiction: A library and a school are different buildings.|contradiction: The child is either on the library steps or the school steps.|contradiction: The child is either on the library steps or the school steps.