Premise: Rod Laver . He also won eight Pro Slam titles , including the calendar year Pro `` Grand Slam '' in 1967 , and contributed to five Davis Cup titles for Australia during an age when Davis Cup was deemed as significant as the Grand Slams .
Hypothesis: Rod Laver contributed to zero Davis Cup titles.
Label: ENTAILMENT