Suppose John Smith, an accomplished author, has written over 20 best-selling novels in his career and has won multiple literary awards for his work.
Can we infer that "John Smith has never written a non-fiction book"? Yes, no, or maybe?