यदि कथन 'कोई भी बंदर बिल्ली-वर्गीय नहीं है' सत्य दिया गया है, तो निम्नलिखित में से किस कथन को सत्य अनुमानित किया जा सकता है?

अनुमेय सत्य कथन 'कुछ बंदर बिल्ली-वर्गीय नहीं हैं' है।

दिया गया तर्कवाक्य सार्वत्रिक निषेधात्मक E है: कोई भी बंदर बिल्ली-वर्गीय नहीं है।

अध्याहरण (subalternation) से, सत्य E अपने अधीनस्थ O को सत्य बनाता है।

इस युग्म का O है 'कुछ बंदर बिल्ली-वर्गीय नहीं हैं'।

अतः इसे वैध रूप से सत्य अनुमानित किया जा सकता है।