Premise: Cristiano Ronaldo dos Santos Aveiro , ( [ kɾiʃ ` tjɐnu ʁuˈnaɫdu ] , born 5 February 1985 ) is a Portuguese professional footballer for Spanish club Real Madrid and the Portugal national team .
Hypothesis: Cristiano Ronaldo has never played for Portugal.
Label: CONTRADICTION