premise: Two girls are sitting on a bench outside, and one of them is checking her cellphone. hypothesis: the girls are indoors.
contradiction: The girls cannot be both indoors and outside at the same time.