یک جمله بنویس که نوع استنتاج آن با متن به صورت زیر باشد

نوع استنتاج: بتوان متن زیر را از آن استنتاج کرد
متن: جنگ نهروان جنگی بود که امام علی (ع) در آن با خوارج جنگید. 
جمله:
امام علی (ع) پس از دعوت خوارج به حق و اتمام حجت، ناگزیر به جنگ با آن‌ها شد و در جنگ نهروان در سال ۳۸ق، بیشتر آنان را از میان برداشت.