மூன்று கூற்றுகள் 1, 2, 3, மற்றும் 4 ஆகிய எண்களைக் கொண்ட நான்கு முடிவுகளுடன் கொடுக்கப்பட்டுள்ளன. கூற்றுகள் உண்மையாக இருப்பதாகக் கருதி, அவை பொதுவாக அறியப்பட்ட உண்மைகளுடன் மாறுபட்டதாகத் தோன்றினாலும், கூற்றுகளில் இருந்து தர்க்கரீதியாக எந்த முடிவுகளைப் பின்தொடரவில்லை என்பதைத் தீர்மானிக்கவும்.
கூற்றுகள்:
அனைத்து K உம் S
எந்த S உம் B அல்ல
சில B ஆகியவை T
முடிவுகள்:
1)எந்த K உம் B அல்ல
2) சில T என்பவை S அல்ல
3) சில T ஆகியவை B
4) அனைத்து B ஆனது K ஆக இருப்பது சாத்தியம்.
1
2 மட்டுமே பின்தொடரவில்லை.
2
1 மட்டும் பின்தொடரவில்லை.
3
பின்தொடரவில்லை3 மட்டுமே பின்பற்றப்படவில்லை.
4
4 மட்டுமே பின்தொடரவில்லை.