Dengan fakta x, y, dan z kurang dari nol, kita cek pernyataannya. Pernyataan satu, x tambah y tambah z kurang dari nol adalah benar. Pernyataan tiga, minus x dikurang z juga benar, karena bilangan positif ditambah bilangan positif hasilnya pasti lebih dari nol.