Lalu kita uji pernyataan kedua, yaitu a minus b sama dengan lima. Bandingkan dengan syarat kita tadi; agar benar, kita butuh a minus b sama dengan dua. Karena faktanya a minus b sama dengan lima, dan lima tidak sama dengan dua, maka jawabannya pasti bukan. Karena kita bisa memberikan jawaban pasti, maka pernyataan dua ini dianggap cukup.