Premise: Austin up around Austin area

Hypothesis: Up around the Dallas area.
Relation: contradiction