premise: christmas tree lights hang on the ceiling. hypothesis: The lights are hanging on the railing on the porch.
contradiction: The lights cannot be hanging on the railing and hanging on the ceiling at the same time.