Text: You can't get four years out of the equation even if you use Washington fuzzy math!
Entailment: You can't make the equation equal four years.
Contradiction: It's easy to make it equal four years!