Suppose the city of Tokyo hosted the Summer Olympics in 2020, with the opening ceremony held on July 23. The event saw athletes from around the world competing in various sports, with many memorable moments and records broken. The closing ceremony took place on August 8, marking the end of the successful Games.
Can we infer that "The city of Tokyo hosted the Winter Olympics in 2020."? Yes, no, or maybe?