premise: Four children are playing on their front porch while their father looks on. hypothesis: no kids are on the porch playing.
contradiction: Four children means there should be some kids playing on the porch.