Gerçel sayılar x, y ve z; , ve koşullarını aynı anda sağlamaktadır.
Buna göre,
I.
II.
III.
ifadelerinden hangileri her zaman doğrudur?
x-z<0 ifadesinden x<z elde edilir. 0<y ifadesinden y>0 çıkar. y<y-z ifadesinden 0<-z, yani z<0 bulunur. Bu üç sonuç birlikte değerlendirildiğinde z<0 ve x<z olduğundan x de z'den küçük, dolayısıyla x<0'dır; ayrıca y>0'dır. I: x ve z ikisi de negatif olduğundan x·z>0 olur; bunu pozitif olan y ile çarpınca x·y·z>0 her zaman doğrudur. III: x<z olduğundan z-x>0'dır; buna pozitif olan y eklendiğinde z-x+y>0 her zaman doğrudur. II: x+y toplamının işareti belirsizdir çünkü x'in negatif büyüklüğü ile y'nin pozitif büyüklüğü arasında herhangi bir sınır verilmemiştir; x+y bazen pozitif bazen negatif olabileceğinden (x+y)·z ifadesinin işareti sabit değildir, dolayısıyla II her zaman doğru değildir. Sonuç: I ve III her zaman doğrudur.