Premis: "Seekor anjing berjalan di rumput menuju anjing yang berbaring". Hipotesis: "Dua anjing berada di rumput". Apakah kita tahu bahwa hipotesis tersirat oleh premis? Jawaban langkah demi langkah:
Seekor anjing yang berbaring dan seekor anjing yang berjalan setara dengan dua anjing di rumput. Oleh karena itu, jawaban akhir adalah ya.