Suppose Lin-Manuel Miranda is an American composer, lyricist, actor, singer, and playwright, widely known for creating and starring in the Broadway musicals Hamilton and In the Heights. He has won multiple awards for his work in the entertainment industry.
Can we infer that "Lin-Manuel Miranda is not involved in the musical theater industry."? Yes, no, or maybe?