Mari kita uji pernyataan pertama, yaitu tiga b tambah c sama dengan tujuh. Mengingat b dan c adalah bilangan asli, maka pasangan b dan c yang mungkin adalah b sama dengan satu yang menghasilkan c sama dengan empat, atau b sama dengan dua yang menghasilkan c sama dengan satu. Jika kita cek nilai D, untuk pasangan satu koma empat, D sama dengan sembilan, yang berarti ada akar real. Namun untuk pasangan dua koma satu, D sama dengan minus empat, yang berarti tidak ada. Karena hasilnya tidak pasti, pernyataan satu saja tidak cukup.