Premise: Novak Djokovic . Djokovic 's records include breaking the single-season record with six masters titles in 2015 , winning 31 consecutive ATP World Tour Masters 1000 series matches , playing in the finals at all nine ATP Masters 1000 tournaments ( shared with Roger Federer and Nadal , and being the only player to win eight of the nine events ( and at least twice ) .
Hypothesis: Novak Djokovic competed in the finals at all of the nine ATP Masters 1000 series of contests.
Label: ENTAILMENT