Önce sonuca dayanak oluşturan “Gezegenler hem kendi etrafında döner hemde güneşin etrafında döner” önermesini sembolleştirirsek, Her x (x gezegen ise (x kendi etrafında döner) ve (x güneşin etrafında döner)) ifadesi elde edilir. Burada da niceleme ifadeleri ve önerme eklemleri yerine niceleyici ve önerme eklem sembollerini yazarsak, Ɐx (x gezegen → (x kendi etrafında döner ˄ x güneşin etrafında döner)) elde edilir. Ad ve yüklem sembollerini koyarsak, Ɐx (Fx → (Gx ˄ Hx)) olur. Şimdi de çıkarım sonucu olan “Gezegen değil ise, ne kendi etrafında döner ne de güneşin etrafında döner” önermesini sembolleştirirsek, Her x (değildir x gezegen ise (değildir x kendi etrafında döner) ve değildir (x güneşin etrafında döner)) ifadesi elde edilir. Burada da niceleme ifadeleri ve önerme eklemleri yerine niceleyici ve önerme eklem sembollerini yazarsak, Ɐx (~x gezegen → (~x kendi etrafında döner ˄ ~x güneşin etrafında döner)) elde edilir. Ad ve yüklem sembollerini koyarsak, Ɐx(~ Fx(~Gx ˄ ~Hx)) elde edilir.