Premise: Cristiano Ronaldo . Ronaldo made his international debut for Portugal in August 2003 , at the age of 18 . He took over full captaincy in July 2008 , and he led Portugal to the semi-finals at Euro 2012 , finishing the competition as joint-top scorer .
Hypothesis: Cristiano Ronaldo has never played for Portugal.
Label: CONTRADICTION