Premise: Lausche (Czech: "Luž" ), is, at 793 m , the highest peak of the Lusatian Mountains and the highest mountain in the German part of the Upper Lusatia region. The conical mountain is part of the Zittau Mountains range, situated on the border of the German state of Saxony with the Bohemian region of the Czech Republic.
Hypothesis: Lausche is not the highest mountain in the Upper Lusatia region.