Text: I then launched Xwindows.
Entailment: I launched Xwindows.
Contradiction: I then launched Windows XP.