इसलिए, मैं पहले तर्क के लिए रिज़ॉल्यूशन स्टेप या नियम नहीं बता रहा हूं, लेकिन आप देख सकते हैं कि यह आपके द्वारा प्रतिस्थापन को लागू करने वाले संशोधित के समान है और रिज़ॉल्यूशन में आपके पास पहले से अनिवार्य रूप से लागू किया गया प्रतिस्थापन है।