Premise: we have an um actually it's a TI computer but it is the IBM

Hypothesis: We do not have a computer, and don't need one.
Relation: contradiction