Suppose Cristiano Ronaldo is a Portuguese professional footballer who currently plays for Manchester United in the English Premier League. He is considered one of the greatest footballers of all time and has won numerous awards, including multiple FIFA Ballon d'Or trophies.
Can we infer that "Cristiano Ronaldo is the highest goal scorer in the history of the Premier League"? Yes, no, or maybe?