Suppose Sarah Smith is a professional athlete who competes in long-distance running events around the world. She holds several world records and has won multiple prestigious marathons, including the Boston Marathon and the New York City Marathon.
Can we infer that "Sarah Smith has never won a marathon."? Yes, no, or maybe?