Premise: That solution did not satisfy him.
Hypothesis: He was satisfied with that solution. 
Label: contradiction