மூன்று கூற்றுகள் கொடுக்கப்பட்டுள்ளன, அதைத் தொடர்ந்து I, II மற்றும் III என மூன்று முடிவுகள் கொடுக்கப்பட்டுள்ளன. கூற்றுகள் உண்மையாக இருப்பதாகக் கருதி, அவை பொதுவாக அறியப்பட்ட உண்மைகளுடன் முரண்பாடாக இருந்தாலும் கூட, எந்த முடிவுகள் தர்க்கரீதியாக கூற்றுகளிலிருந்து பின்பற்றுகின்றன என்பதைத் தீர்மானிக்கவும்.

கூற்றுகள்:

சில எலிகள் சுண்டெலிகள்.

எந்த ஒரு சுண்டெலியும் கொறித்துண்ணி அல்ல.

சில எலிகள் பூனைக் குட்டிகள்.

முடிவுகள்:

I. எந்த ஒரு கொறித்துண்ணியும் பூனைக் குட்டி அல்ல.

II. சில எலிகள் கொறித்துண்ணிகள்.

III. எந்த ஒரு பூனைக் குட்டியும் சுண்டெலி அல்ல.