abductive যুক্তিভিত্তিক প্রোগ্রাম, formula_2 এবং formula_3 এ নিম্নোক্ত বক্তব্যসমূহ রয়েছে:

formula_4 তে অকাট্য বিধেয়সমূহ হল "বৃষ্টি হয়েছিল" এবং "সিঞ্চক চালু ছিল" এবং formula_5 এ একমাত্র অখণ্ড সীমাবদ্ধতা হল:

"ঘাস ভেজা রয়েছে" এমন পর্যবেক্ষনের দুটি ব্যাখ্যা রয়েছে - "বৃষ্টি হয়েছিল" এবং "সিঞ্চক চালু ছিল", যার ফলশ্রুতিতে ঘটনাটি ঘটেছিল। তবে, শুধুমাত্র দ্বিতীয় ব্যাখ্যা, "সিঞ্চক চালু ছিল", অখণ্ড সীমাবদ্ধতাটিকে সিদ্ধ করে (কেননা, তখন বৃষ্টি হলে সূর্য কিরণ দেয়ার কথা নয়)।

উদাহরণ ১
অনানুষ্ঠানিক ব্যাখ্যা এবং সমস্যা সমাধানকরণ
বাস্তবায়ন এবং ব্যবস্থা
উদাহরণ ২