(ক) সহানুমানের সিদ্ধান্তের বিধেয় পদকে প্রধান পদ বলে। (খ) অমাধ্যম অনুমান যথার্থ অনুমান নয়। অমাধ্যম অনুমানে একটি আশ্রয়বাক্যের উপর ভিত্তি করে সিদ্ধান্ত গঠিত হওয়ায় সিদ্ধান্তে নতুন কোনো সত্যের সন্ধান দেয় না। আশ্রয়বাক্যে যা থাকে, তাকেই সিদ্ধান্তে ভিন্ন আঙ্গিকে উপস্থাপন করা হয়। এই অনুমানে জানা থেকে অজানায় গমন করার প্রক্রিয়া নেই। সেই জন্যই অমাধ্যম অনুমান প্রকৃত বা যথার্থ অনুমান নয়। (গ) উদ্দীপকের "যুক্তি-১" দ্বারা মাধ্যম অবরোহ অনুমানের প্রকারভেদ সহানুমান নির্দেশিত হয়েছে। যে মাধ্যম অবরোহ অনুমানে পরস্পর সম্পর্কযুক্ত দুটি আশ্রয়বাক্য থেকে সিদ্ধান্তটি অনিবার্যভাবে অনুমিত হয়, তাকে সহানুমান বলে। উদ্দীপকের "যুক্তি-১"-এ "সব প্রাণী হয় মরণশীল" এবং "সব হরিণ হয় প্রাণী" এই দুটি আশ্রয়বাক্য থেকে "সব হরিণ হয় মরণশীল" সিদ্ধান্তটি অনুমিত হয়েছে। এখানে পরস্পর সম্পর্কযুক্ত দুটি আশ্রয়বাক্য থেকে সিদ্ধান্তটি অনিবার্যভাবে অনুমিত হয়েছে, তাই এটি একটি সহানুমান। সহানুমানের গঠন অনুযায়ী একটি সহানুমানে মোট তিনটি যুক্তিবাক্য থাকে, যার মধ্যে দুটি আশ্রয়বাক্য এবং একটি সিদ্ধান্ত। একটি সহানুমানে মোট তিনটি পদ থাকে: প্রধান পদ, অপ্রধান পদ এবং মধ্যপদ। প্রতিটি পদ দু'বার করে ব্যবহৃত হয়। সহানুমানের উভয় আশ্রয়বাক্যে মধ্যপদ অবস্থান করে কিন্তু সিদ্ধান্তে মধ্যপদ থাকে না। এভাবে একটি সহানুমান গঠিত হয়। (ঘ) যুক্তি-২ এর সহানুমানটিতে অব্যাপ্য মধ্যপদজনিত অনুপপত্তি ঘটেছে বিধায় যুক্তিটি বৈধ নয়। যে মাধ্যম অবরোহ অনুমানে পরস্পর সম্পর্কযুক্ত দুটি আশ্রয়বাক্য থেকে সিদ্ধান্তটি অনিবার্যভাবে অনুমিত হয়, তাকে সহানুমান বলে। একটি সহানুমানে তিনটি পদের মধ্যে মধ্যপদ হলো সেই পদ যা উভয় আশ্রয়বাক্যে থাকে কিন্তু সিদ্ধান্তে থাকে না। সহানুমানের নিয়ম অনুযায়ী, উভয় আশ্রয়বাক্যে মধ্যপদকে কমপক্ষে একবার ব্যাপ্য হতে হবে। উদ্দীপকের "যুক্তি-২"-এ "সব বাঘ হয় প্রাণী" এবং "সব হরিণ হয় প্রাণী" এই দুটি আশ্রয়বাক্য থেকে "সব হরিণ হয় বাঘ" সিদ্ধান্তটি প্রতিষ্ঠা করা হয়েছে। এখানে "প্রাণী" পদটি মধ্যপদ, যা উভয় আশ্রয়বাক্যে বিদ্যমান কিন্তু সিদ্ধান্তে নেই। এই মধ্যপদটি উভয় আশ্রয়বাক্যের কোনোটিতেই ব্যাপ্য হয়নি (যেহেতু উভয় বাক্যই A-বাক্য এবং মধ্যপদ এখানে বিধেয় হিসেবে অব্যাপ্য)। সহানুমানের নিয়ম অনুযায়ী মধ্যপদকে কমপক্ষে একবার ব্যাপ্য হতে হয়, কিন্তু এখানে তা হয়নি। যেহেতু উদ্দীপকের সহানুমানের ক্ষেত্রে মধ্যপদ একবারও ব্যাপ্য হয়নি, তাই যুক্তিটিতে অব্যাপ্য মধ্যপদজনিত অনুপপত্তি ঘটেছে। আলোচনা শেষে বলা যায়, উদ্দীপকে প্রতিফলিত সহানুমানটি যথার্থ বা বৈধ নয়।