തന്നിരിക്കുന്ന പ്രസ്താവന ശരിയാണെന്ന് കണക്കാക്കുകയും തന്നിരിക്കുന്ന പ്രസ്താവനകളിൽ നിന്ന് ഏതൊക്കെ നിഗമനങ്ങളിൽ എത്തിച്ചേരാമെന്ന് തീരുമാനിക്കുകയും ചെയ്യുക.

പ്രസ്താവന:

ഒരു നായയും പൂച്ചയല്ല. ചില പൂച്ചകൾ എലികളാണ്. എല്ലാ എലികളും പന്നികളാണ്.

നിഗമനങ്ങൾ:

1. എല്ലാ നായ്ക്കളും എലികളാണ്.

2. എല്ലാ പന്നികളും എലികളാണ്.

3. ചില പന്നികൾ പൂച്ചകളാണ്.

4. ഒരു പന്നിയും നായയല്ല.