"Çilek ve portakal birer meyvedirler" ifadesi için (F˄G→H) gereklidir. Devamında gelen "Portakal ağaçta, çilek ise toprakta yetişir." ifadesi ((G→L)˄(F→K)) ile belirtilir. Burada bütün portakallar denmediği için Ɐ simgesi kullanılmaz. Son olarak "Dolayısıyla bazı meyveler ağaçta yetişmez" kısmı için ise bir çıkarım yapıldığından simgesi ile başlamalı ve x(Hx˄ ̴ Lx) önermesi ile sonlandırmalıyız.