Kita uji pernyataan pertama, yaitu a kali b sama dengan empat. Kemungkinan pasangan bulat positifnya adalah satu koma empat yang menghasilkan de sama dengan enam belas, sehingga ada solusi. Namun, pasangan dua koma dua menghasilkan de sama dengan minus empat, dan pasangan empat koma satu menghasilkan de sama dengan minus dua puluh tiga. Karena hasilnya berbeda-beda, pernyataan satu saja tidak cukup.