we have an um actually it's a TI computer but it is the IBM
We used to have another IBM computer, but it stopped working.
mnli hypothesis: We used to have another IBM computer, but it stopped working. premise: we have an um actually it's a TI computer but it is the IBM