Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP