Uji inferensi bahasa alami. Premis: "Kucing hitam dengan mata hijau cerah telah menangkap tikus abu-abu". Hipotesis: "Kucing hitam dan tikus abu-abu". Apakah hipotesis terikat oleh premis? Pilihan: - Ya - Tidak - tidak mungkin untuk mengatakan Mari kita menjadi tepat mungkin dan berpikir terlebih dahulu.
Kucing hitam bisa duduk dan hanya melihat tikus abu-abu dan tidak benar-benar menangkapnya. Jawaban akhir: tidak mungkin untuk mengatakan.