Suppose Idris Elba (born 6 September 1972) is an English actor, producer, musician, and DJ. He is known for his roles in both film and television, including the BBC series "Luther" and the Marvel Cinematic Universe film "Thor".
Can we infer that "Idris Elba has never appeared in a Marvel movie."? Yes, no, or maybe?