Premise: i'm not in TI

Hypothesis: Im in TI actually.
Relation: contradiction