English: And essentially what we are saying is that if we have unsatisfiable formulas then you can test it using syntactic procedure of this resolution method which means keep applying the resolution method and you will be able to derive null clause.
Telugu: మరియు ముఖ్యంగా మనం చెబుతున్నది ఏమిటంటే, మనకు సంతృప్తి చెందని సూత్రాలు ఉంటే, మీరు ఈ రిజల్యూషన్ పద్ధతి యొక్క వాక్యనిర్మాణ విధానాన్ని ఉపయోగించి దీనిని పరీక్షించవచ్చు, అంటే రిజల్యూషన్ పద్ధతిని వర్తింపజేయండి మరియు మీరు శూన్య నిబంధనను పొందగలుగుతారు.