Premise: Increasing estimates of software size should alert the auditor that the project's schedule and expected cost may be underestimated.

Hypothesis: If the software size estimates increase, then the project's expected cost may have been overestimated.
Relation: contradiction