Suppose Stephen King is an American author of horror, supernatural fiction, suspense, crime, science-fiction, and fantasy novels. His books have sold more than 350 million copies, many of which have been adapted into feature films, miniseries, television series, and comic books.
Can we infer that "Stephen King has never written a horror novel."? Yes, no, or maybe?