English: So, I am not stated the resolution step or the rule for first of the logic, but you can see that it is very similar to modified you do you apply the substitution and in the resolving you have substitution already applied essentially.
Telugu: లాజిక్ యొక్క మొదటి రిజల్యూషన్ స్టెప్ లేదా రూల్ గురించి నేను చెప్పలేదు, కానీ మీరు సవరించిన దానితో సమానమైనదని మీరు చూడవచ్చు, మీరు ప్రత్యామ్నాయాన్ని వర్తింపజేస్తారు మరియు పరిష్కారంలో మీకు ప్రత్యామ్నాయం ఇప్పటికే తప్పనిసరిగా వర్తింపజేయబడింది.