Mari uji pernyataan satu, tiga b tambah c sama dengan tujuh. Karena b dan c adalah bilangan asli, kemungkinannya adalah b sama dengan satu dan c sama dengan empat yang menghasilkan D positif, atau b sama dengan dua dan c sama dengan satu yang menghasilkan D negatif. Karena hasilnya tidak konsisten, pernyataan satu saja tidak cukup.