premise: Two girls cast shadows in the doorway of a dark building. hypothesis: The two girls are in a bright litted building.
contradiction: a building can be either bright or dark, not both at the same time.