Premise: That solution did not satisfy him.

Hypothesis: He was satisfied with that solution. 
Relation: contradiction