Premise: Trash litters the ceiling.
Hypothesis: There is trash on the ground.
Label: contradiction