Premise:  First, of course, he meant to stay here.

Hypothesis: He did not intend to remain here.
Relation: contradiction