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