mnli premise: 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. hypothesis: Federal government debt was reduced $223 billion in 2000.