Do you really want to send mps a message saying you like their work?
A set of propositions is inconsistent iff the proposition P and not P is in the deductive closure of the set.