Uji inferensi bahasa alami. Premis: "Greyhounds balap di trek". Hipotesis: "Anjing-anjing tidak berlomba". Apakah hipotesis terikat oleh premis? Pilihan: - Ya - Tidak - tidak mungkin untuk mengatakan Solusi langkah-demi-langkah adalah:
Anjing tidak bisa berlomba dan tidak berlomba pada saat yang sama. Jawaban akhir: tidak.