Premise: Andy Roddick . He became a Grand Slam singles champion , and world number one , when he won the title at the 2003 US Open , defeating Juan Carlos Ferrero in the final . Roddick reached four other Grand Slam finals ( Wimbledon in 2004 , 2005 , and 2009 , and the US Open in 2006 ) , losing to Roger Federer every time .
Hypothesis: Andy Roddick beat Juan Carlos Ferrero in the 2003 US Open.
Label: ENTAILMENT