Uji inferensi bahasa alami. Premis: "Dua orang makan di sebuah ruangan". Hipotesis: "Tidak ada yang makan". Apakah hipotesis terikat oleh premis? Pilihan: - Ya - Tidak - tidak mungkin untuk mengatakan Solusi langkah-demi-langkah adalah:
Dua orang makan sebagai lawan dari tidak makan adalah kontradiksi. Jawaban akhir: tidak.