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

கூற்றுகள்:

அனைத்து இயந்திரங்களும் கருவிகள்.

எந்த கருவியும் கணினி அல்ல.

முடிவுகள்:

I. எந்த இயந்திரமும் கணினி அல்ல.

II. சில கணினிகள் கருவிகள்.