Uji inferensi bahasa alami. Premis: "Kakek dan nenek sedang berdiskusi serius tentang masa depan anak mereka". Hipotesis: "Kakek-nenek itu tidak memiliki anak". Apakah hipotesis terikat oleh premis? Pilihan: - Ya - Tidak - tidak mungkin untuk mengatakan Mari kita menjadi tepat mungkin dan berpikir terlebih dahulu.
Tak mungkin ada anak laki-laki jika mereka tak punya anak. Jawaban akhir: tidak.