Premise: If the design team could not satisfy the exit criteria, then other options had to be considered.

Hypothesis: No other options need to be taken into consideration of the design team can't satisfy the exit criteria.
Relation: contradiction