“Her insan yardımsever değildir” kısmı için bazı insanlar yardımsever değildirler olarak düşünebiliriz. Dolayısıyla x (Fx˄ ̴ Gx) önermesine bu kısım için ihtiyaç duyarız. “Bütün sevilen insanlar sadece ve sadece yardımsever insanlardır” kısmı için "bütün insanlar" ifadesinden dolayı ⱯyFy ve devamında sevilmek için yardımsever olmanın gerekli ve yeterli olduğu belirtildiğinden (Gy↔Hy) önermesi gelir.