மூன்று அறிக்கைளை தொடர்ந்து I, II மற்றும் III என எண்ணிடப்பட்ட மூன்று முடிவுகள் கொடுக்கப்பட்டுள்ளன. கூற்றுகள் உண்மை என்று கருதி, அவை பொதுவாக அறியப்பட்ட உண்மைகளுடன் மாறுபட்டதாகத் தோன்றினாலும், கூற்றுகளில் இருந்து தர்க்கரீதியாகப் பின்தொடரும் முடிவுகளைத் தீர்மானிக்கவும்.
கூற்றுகள்:
அனைத்து Dகளும் V.
சில S என்பன D.
எந்த W உம் S அல்ல.
முடிவுகள்:
I. சில W என்பவை D அல்ல
II. சில V என்பவை S.
III. சில D என்பவை S.
1
முடிவு III மட்டுமே பின்தொடர்கிறது
2
முடிவுகள் I, II மற்றும் III பின்தொடர்கின்றன
3
II மற்றும் III இரண்டு முடிவுகளும் பின்தொடர்கின்றன
4
முடிவு I மட்டுமே பின்தொடர்கிறது