qnli question: What did Ibn al-Nafis use to explain the events in Theologus Autodidactus? sentence: Theologus Autodidactus, written by the Arabian polymath Ibn al-Nafis (1213–1288), is the first example of a science fiction novel.