Perhatikan visualisasi logikanya. Ada pe sebagai predikat dan em sebagai menengah. Langkah satu, semua em adalah pe, artinya lingkaran em berada di dalam pe. Langkah dua, es adalah em, maka titik es berada di dalam em. Kesimpulannya, es pasti berada di dalam pe.