Lanjut ke pernyataan dua, b sama dengan satu. Jika kita masukkan ke syarat tidak ada solusi, maka didapat a sama dengan tiga. Masalahnya, jika a adalah tiga, sistem tidak punya solusi, tapi jika a bukan tiga, sistem punya solusi. Karena nilai a tidak pasti, maka pernyataan dua tidak cukup untuk menjawab pertanyaan.