Now we can analyze result condition of the refutation.