Sekarang kita uji pernyataan satu, yaitu b lebih besar dari negatif dua dan a kurang dari empat. Jika kita coba beberapa angka seperti a sama dengan nol dan b sama dengan enam, hasilnya positif. Tapi jika a nol dan b nol, hasilnya negatif. Karena jawabannya bisa 'Ya' atau 'Tidak', maka pernyataan satu tidak cukup.