Anchor: The progressive matching formula was to phase down as income increased.
Entailed: As income increased, the formula was to be phased out.
Contradiction: The progressive matching would be continued after income increased. 
Contradiction: Whatever we do, let's get rid of Adam Smith.
Contradiction: The man is outdoors.
Contradiction: A girl is holding 14 dogs.
Contradiction: That sounds like it would be fun.