এবং নঞর্থক (নেতিবাচক) সংবাদ থেকে। সুতরাং, উপমাভিত্তিক যুক্তি (দৃষ্টান্ত স্থাপন), যা কিয়াস (যুক্তি) বটে, তাতে অবশ্যই একটি ব্যাপক উক্তি (খবর আম্ম) এবং একটি সার্বিক প্রতিজ্ঞা (কাদিয়্যাহ কুল্লিয়্যাহ) অন্তর্ভুক্ত থাকতে হবে। আর সেটাই হলো বুদ্ধিবৃত্তিতে সুপ্রতিষ্ঠিত সেই আদর্শ (মিছাল), যার দ্বারা সেই বস্তুসমূহের (আইন) বিচার করা হয়, যার বিধান নির্ণয় করা উদ্দেশ্য। যদি তার ব্যাপকতা না থাকত, তবে তুলনা করা (ই'তিবার) সম্ভব হতো না। কারণ, যার বিধান উদ্দেশ্য, তা ব্যাপকতার আওতার বাইরে থাকার সম্ভাবনা থাকে।

এই কারণেই বলা হয়: দুটি আংশিক প্রতিজ্ঞা (জুজইয়্যাহ) থেকে কিয়াস (যুক্তি) হয় না। বরং, সেগুলোর একটি অবশ্যই সার্বিক (কুল্লিয়্যাহ) হতে হবে। অনুরূপভাবে, দুটি নঞর্থক (সালিবা) থেকেও কিয়াস হয় না। বরং, সেগুলোর একটি অবশ্যই সদর্থক (মুজাবাহ) হতে হবে। অন্যথায়, দুটি নঞর্থক একটি অন্যটির মধ্যে প্রবেশ করে না। সুতরাং, এতে এমন একটি সংবাদ থাকা আবশ্যক যা ব্যাপকতা সৃষ্টি করে।

মোট যে সকল উপমাভিত্তিক যুক্তি (আমছাল) স্থাপন করা হয়, তা হলো ষোলোটি। কারণ, প্রথমটি হয় আংশিক, নয়তো সার্বিক; হয় সদর্থক, নয়তো নঞর্থক। এই হলো চারটি। যখন আপনি এই চারটিকে চার দিয়ে গুণ করবেন, তখন তা ষোলোটি হবে। এর মধ্য থেকে দুটি আংশিক প্রতিজ্ঞাকে বাদ দেওয়া হয়—তা উভয়ই সদর্থক হোক বা উভয়ই নঞর্থক হোক, অথবা একটি নঞর্থক ও অন্যটি সদর্থক হোক। সুতরাং, ষোলোটির মধ্যে এই হলো ছয়টি (যা বাতিল)।

এবং দুটি নঞর্থক (সালিবা) (বাদ দেওয়া হয়)—তা উভয়ই আংশিক হোক বা উভয়ই সার্বিক হোক, অথবা একটি অন্যটির চেয়ে ভিন্ন হোক। তবে, যখন দুটিই আংশিক নঞর্থক হয়, তখন তা প্রথম (বাতিল) প্রকারের মধ্যে অন্তর্ভুক্ত হয়ে যায়। ষোলোটির মধ্যে আরও দুটি বাতিল প্রকার বাকি থাকে।

এবং সেগুলোর মধ্য থেকে ক্ষুদ্রতর সার্বিক নঞর্থক প্রতিজ্ঞাকে বৃহত্তর আংশিক সদর্থক প্রতিজ্ঞার সাথে (মিলন) বাদ দেওয়া হয়। কারণ, যখন বৃহত্তর প্রতিজ্ঞা (কুবরা) আংশিক হয়, তখন তার সাথে নঞর্থকের মিলন আবশ্যক হয় না। সদর্থকের (ইজাব) ক্ষেত্রে বিষয়টি ভিন্ন। কারণ, দুটি আংশিক সদর্থক মিলিত হয়। অনুরূপভাবে, আংশিক সদর্থক সার্বিক নঞর্থকের সাথে মিলিত হয়, কারণ সেই সদর্থকটি সাধারণ নঞর্থকের অধীনে অন্তর্ভুক্ত হয়ে যায়।