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

निष्कर्षित परिणाम यह हैं कि 'कोई जानवर हिंसक नहीं है' अनिर्धारित है तथा 'सभी जानवर हिंसक हैं' असत्य है।

दिया गया तर्कवाक्य O प्रकार का है, 'कुछ S, P नहीं है', जिसे सत्य माना गया है।

इसका विरोधाभासी A है, 'सभी S, P है'; विरोधाभासियों के मान विपरीत होते हैं, अतः O के सत्य होने पर A असत्य है।

इससे 'सभी जानवर हिंसक हैं' असत्य प्राप्त होता है।

E, 'कोई S, P नहीं है', इस सत्य विशेष तर्कवाक्य के ऊपर स्थित सार्वभौम है, और सत्य विशेष अपने सार्वभौम का सत्य-मान निश्चित नहीं कर सकता, अतः 'कोई जानवर हिंसक नहीं है' अनिर्धारित रहता है।