Take the following as truth: we have an um actually it's a TI computer but it is the IBM
Then the following statement: "We used to have another IBM computer, but it stopped working." is true, false, or inconclusive?