Premise:  They laughed.
Hypothesis: The did not find it funny.
Label: contradiction