Premise: Novak Djokovic . Djokovic has won an all-time record of 30 Masters 1000 series titles , tied with Rafael Nadal . 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 played in the finals at all nine ATP Masters 1000 tournaments.
Label: ENTAILMENT