English: You take the conclusion and take it is negation not of T and add it as a clause and the claim is that this set is unsatisfiable is it unsatisfiable we can try and show that using the resolution method essentially.
Telugu: మీరు తీర్మానాన్ని తీసుకోండి మరియు అది T యొక్క తిరస్కరణ కాదు మరియు దానిని ఒక నిబంధనగా చేర్చండి మరియు ఈ సెట్ సంతృప్తికరంగా లేదని వాదన అది సంతృప్తికరంగా లేదు, మనము తీర్మానం పద్ధతిని ఉపయోగించడం ద్వారా ప్రయత్నించవచ్చు మరియు చూపించవచ్చు.