Text: 9 billion per year (again, in 1999 dollars with half as federal appropriations and half as private-sector cost share).
Entailment: Again, in 1999 dollars with half as federal appropriations and half as private-sector cost share equaled 9 billion per year.
Contradiction: There are no immortal dogs.