Text: So far, the federal government has used excess funds to reduce debt held by the public, paying down $223 billion in fiscal year 2000 alone.
Entailment: Federal government debt was reduced $223 billion in 2000.
Contradiction: Excess funds are not used to reduce federal government debt.