Premise: John's face hardened.
Hypothesis: John looked happy.  
Label: contradiction