Uji inferensi bahasa alami. Premis: "Seorang pendaki berhenti untuk minum saat mendaki gunung yang tertutup salju". Hipotesis: "Gunung itu kosong". Apakah hipotesis terikat oleh premis? Pilihan: - Ya - Tidak - tidak mungkin untuk mengatakan Mari kita selesaikan langkah demi langkah:
Pendaki tidak akan berada di gunung jika gunung itu kosong. Jawabannya adalah tidak.