Text: That solution did not satisfy him.
Entailment: He wasn't satisfied with the solution offered.
Contradiction: He was satisfied with that solution.