Premise: "The progressive matching formula was to phase down as income increased." If this premise is true, what does that tell us about whether it entails the hypothesis "As income increased, the formula was to be phased out."?
yes