روال رزولوشن چه جوری بود؟ اول باید به فرم cnf در بیاریم پایگاه دانش مون را و بعد با اضافه کردن نقیض حکم (در واقع نقیض همون گزینه های سوال ) به تناقض یا اصطلاحا اشتراک یه گزاره با نقیض اش برسیم.
با اضافه کردن ~S ما می توانیم به کمک U OR T آنگاه S به u and ~T ~ برسیم. از این هم که ~U نتیجه می شه و با
not P or U به ~p می رسیم که با اشتراک با p به تناقض رسیدن مان اثبات شد.
اما درمورد گزینه های دیگه مثلا گزینه ۲ که هیچ وقت ما را به تناقض نمی رساند چون ما از اضافه کردن نقیض اش هر گز به تناقض نخواهیم رسید به خاطر بودن فقط نقیض اش در پایگاه .(W آنگاه V )
۳و ۴ هم با دنبال کردنشان می توانیم متوجه بشیم که به تناقض نمی رسیم.