Suppose Cristiano Ronaldo is a Portuguese professional footballer who plays for Manchester United. He has won multiple FIFA Ballon d'Or awards and is considered one of the greatest footballers of all time.
Can we infer that "Cristiano Ronaldo is a retired football player."? Yes, no, or maybe?