Bazı içecekler ne sıcaktır ne de soğuktur. Önermesinde niceleme ifadeleri ve önerme eklemleri yerine niceleyicileri ve önerme eklem sembollerini koyarsak, Bazı x (x içeçekler ve (değildir x sıcaktır) ve (değildir x soğuktur) olur. Burada da niceleme ifadeleri ve önerme eklemleri yerine niceleyici ve önerme eklem sembollerini yazarsak, x (x içeçektir ˄ (~x sıcaktır ˄ ~x soğuktur)) elde edilir. Ad ve yüklem sembollerini koyarsak, x ( Fx ˄ (~ Gx ˄ ~ Hx)) elde edilir.