It is a theorem that a standard form of a formula *F* is inconsistent
iff *F* is inconsistent.

Note that if *F* is not inconsistent, the standard form is not in general
equivalent to *F*. This is because Skolemization replaces an existentially
quantified variable by a single constant or Skolem function; if *F* is
consistent, there might be many instances of the existential, not just one.