English: If we can derive an empty clause then we have shown that this set of clauses unsatisfiable which means this large formula is unsatisfiable.
Telugu: మనము ఖాళీ నిబంధనను పొందగలిగితే, ఈ నిబంధనల సమూహం సంతృప్తికరంగా లేదని మనము చూపించాము, అంటే ఈ పెద్ద సూత్రం సంతృప్తికరంగా లేదు.