Premise: Ederson Santana de Moraes ( born 17 August 1993 ) , known simply as Ederson , is a Brazilian professional footballer who plays as a goalkeeper for English club Manchester City .
Hypothesis: Ederson Moraes is an amateur footballer.
Label: CONTRADICTION