Premise: The top of the modeling domain is 4000 meters above ground level.

Hypothesis: The bottom of the modeling domain is 4000 meters above ground level.
Relation: contradiction