Uji inferensi bahasa alami. Premis: "Seorang mobil empat roda mengemudi melalui lumpur". Hipotesis: "Mobil sedang mengendarai di jalan". Apakah hipotesis terikat oleh premis? Pilihan: - Ya - Tidak - tidak mungkin untuk mengatakan Mari kita menjadi tepat mungkin dan berpikir terlebih dahulu.
Sebuah mobil tidak dapat mengemudi melalui lumpur sementara pada saat yang sama di jalan. Jawaban akhir: tidak.