Premise: Lauren Zoe `` Laurie '' Hernandez ( born June 9 , 2000 ) is an American artistic gymnast .
Hypothesis: Zoe is Laurie Hernandez's middle name.
Label: ENTAILMENT