Suppose Lin-Manuel Miranda, known for creating and starring in the Broadway musical "Hamilton", is a talented composer, lyricist, and actor. He has won multiple Tony Awards and Pulitzer Prizes for his work in the entertainment industry.
Can we infer that "Lin-Manuel Miranda has never won a Tony Award."? Yes, no, or maybe?