English: In that example we are doing terminate when generate T essentially, but we are not doing that we are saying that terminate when you generate in an empty clause which means we are trying to show that this formulas are unsatisfiable.
Telugu: ఆ ఉదాహరణలో మనము తప్పనిసరిగా T ను ఉత్పత్తి చేసేటప్పుడు ముగించాము, కాని మీరు ఖాళీ నిబంధనలో ఉత్పత్తి చేసేటప్పుడు ముగించమని మనము చెప్పడం లేదు, అంటే ఈ సూత్రాలు సంతృప్తికరంగా లేవని చూపించడానికి మనము ప్రయత్నిస్తున్నాము.