Uji inferensi bahasa alami. Premis: "Gambar dinding besar di dalam perpustakaan". Hipotesis: "Tidak ada yang suka masuk ke perpustakaan". Apakah hipotesis terikat oleh premis? Pilihan: - Ya - Tidak - tidak mungkin untuk mengatakan Mari kita menjadi tepat mungkin dan berpikir terlebih dahulu.
Jika tidak ada yang suka memasuki perpustakaan maka seorang pelukis tidak akan membuang waktu melukis lukisan besar di sana. Jawaban akhir: tidak.