Suppose Cristiano Ronaldo is a Portuguese professional footballer who plays for Manchester United. He has previously played for Sporting Lisbon, Manchester United, Real Madrid, and Juventus.
Can we infer that 'Cristiano Ronaldo has never played for Real Madrid'? Yes, no, or maybe?