Premise: and so we have have been using a the Aspen service before they purchased Tigon

Hypothesis: We did not use the Aspen service before they purchased Tigon.
Relation: contradiction