Suppose Harry Potter is a popular book series written by J.K. Rowling, featuring the young wizard Harry Potter and his adventures at Hogwarts School of Witchcraft and Wizardry. The series consists of seven books, starting with "Harry Potter and the Philosopher's Stone."
Can we infer that "Hogwarts School of Witchcraft and Wizardry is a real school."? Yes, no, or maybe?