Suppose Arnold Alois Schwarzenegger (born July 30, 1947) is an Austrian-American actor, producer, businessman, retired bodybuilder, and former politician who served as the 38th Governor of California from 2003 to 2011. Considered one of the greatest bodybuilders of all time, Schwarzenegger won the Mr. Olympia contest seven times.
Can we infer that "Arnold Schwarzenegger has never won the Mr. Olympia contest."? Yes, no, or maybe?