English: Because of this equivalence this whole formula is equivalent to the 1 before that which is equivalent to this which is equivalent to this which is equivalent to this which means the original set that started with is shown to be unsatisfiable.
Telugu: ఈ సమానత్వం కారణంగా ఈ మొత్తం సూత్రం దీనికి ముందు ఒకటి కి సమానం, దీనికి సమానం ఇది దీనికి సమానం, అంటే దీనితో ప్రారంభమైన అసలు సెట్ సంతృప్తికరంగా లేదని చూపబడింది.