Premise: program's net savings were about $3 billion in fiscal year 2000.

Hypothesis: The program lost money in 2000.
Relation: contradiction