Premise: I then launched Xwindows.

Hypothesis: I then launched Windows XP.
Relation: contradiction