Premise: well i have an i IBM PS two model thirty

Hypothesis: I don't have a PS@.
Relation: contradiction