Pertama, kita uji pernyataan satu saja, yaitu x sama dengan satu kurang dua y. Jika kita substitusikan ke pertanyaan, maka satu kurang dua y kurang dari dua y, yang berarti satu kurang dari empat y, atau y lebih dari seperempat. Karena nilai y tidak diketahui secara pasti, maka pernyataan satu saja tidak cukup.