Text: The progressive matching formula was to phase down as income increased.
Entailment: As income increased, the formula was to be phased out.
Contradiction: The progressive matching would be continued after income increased.