Premise: The progressive matching formula was to phase down as income increased.

Hypothesis: The progressive matching would be continued after income increased. 
Relation: contradiction