Mari kita uji kecukupan data. Pernyataan satu menyebutkan a di antara nol dan sepuluh, namun tanpa informasi nilai b, jawaban belum pasti sehingga tidak cukup. Pernyataan dua menyebutkan a minus b sama dengan lima. Karena lima tidak sama dengan dua, kita bisa memastikan jawabannya adalah TIDAK, sehingga pernyataan dua saja sudah cukup.