I found an example of a successful reasoning of Cyc (pretty hard to find actually) [0] from 2006. Cyc was asked whether the burning of the papal bull by Martin

I found an example of a successful reasoning of Cyc (pretty hard to find actually) [0] from 2006. Cyc was asked whether the burning of the papal bull by Martin Luther is a social event. It concluded that it was an event, and it must have had attendees, and so it must be a social event. ChatGPT4 find this an easy question. Possibly, is has read the paper though, so maybe this is not fair. Anyway, here is the output. Prompt in italic Would you say that the burning of the papal bull by Martin Luther was a social event? Yes, the burning of the Papal Bull by Martin Luther can be considered a social event as it had significant social, religious, and political implications during that time. The event occurred on December 10, 1520, when Luther publicly burned the Papal Bull "Exsurge Domine," which had been issued by Pope Leo X earlier that year. This act was a direct challenge to the authority of the Catholic Church and the Pope, and it contributed to the unfolding of the Protestant Reformation, which ultimately resulted in the formation of various Protestant denominations and significant changes in European society. The event attracted attention and support from various sectors of society, and it became a symbol of resistance against the religious and political status quo. [0]: An Introduction to the Syntax and Content of Cyc.