(1) दोनों कथन सर्वव्यापा सकारात्मक (A- प्रकार) हैं। सभी बिल्लयाँ कुत्ते हैं। कुछ कुत्ते जानवर हैं। A+I⇒ कोई निष्कर्ष नहीं निष्कर्ष I पहले कथन का व्युत्क्रम है। निष्कर्ष II और निष्कर्ष III संपूरक युग्म बनाते हैं। अतः, या तो निष्कर्ष II या निष्कर्ष III अनुसरण करता है।