Sekarang kita uji pernyataan pertama, yaitu a satu ditambah a dua hasilnya ganjil. Kita substitusi a dua menjadi a satu dikurang tiga, sehingga persamaannya menjadi dua a satu dikurang tiga. Karena dua a satu pasti genap dan tiga adalah ganjil, maka genap dikurang ganjil hasilnya selalu ganjil, berapapun nilai a satunya. Artinya, pernyataan satu tidak memberi tahu kita apakah a satu genap atau ganjil. Jadi, pernyataan satu tidak cukup.