Premise:  First, of course, he meant to stay here.
Hypothesis: He did not intend to remain here.
Label: contradiction