premise: Two girls are sitting on the steps, and one girl is laughing. hypothesis: Girls crying on their porch.
contradiction: They can't be both laughing and crying. They can't be both on the porch, and on the steps.