Premise: An SEC representative informed us that SEC began using a contractor's software 2 to 3 years ago to facilitate the use of frequent flyer mileage.

Hypothesis: The SEC informed us that they will start using contractor's software in the future.
Relation: contradiction