Suppose Carlos Martinez (born 1992) is a professional baseball pitcher who signed a multi-million dollar contract with a major league team. He made his debut in 2013 and quickly became known for his fastball and curveball pitches. In 2016, he was selected for the All-Star Game.
Can we infer that "Carlos Martinez retired from baseball at the age of 30"? Yes, no, or maybe?