Premise: He was lucky to have her and thought about it every time he saw her.
Hypothesis: He knew that he was very unlucky to have even met her. 
Label: contradiction