Suppose Simone Biles (born March 14, 1997) is an American artistic gymnast. With a combined total of 30 Olympic and World Championship medals, Biles is the most decorated American gymnast and the world's third-most decorated gymnast, behind Vitaly Scherbo and Larisa Latynina.
Can we infer that "Simone Biles is a retired gymnast."?