Premise:  They go back there,
Hypothesis: They never go back.
Label: contradiction