Premise: Saxony . Saxony is the tenth largest of Germany 's sixteen states , with an area of 18,413 km2 , and the sixth most populous , with 4 million people .
Hypothesis: As of 2003, Saxony is the sixth most populous German state.
Label: ENTAILMENT