Revising by an Inconsistent Set of Formulas