Well, if the mechanism was smart enough to flag naive Cantor/Frege set theory as contradictory by formulating Russell's Paradox, the thing would be pretty smart indeed. Naturally, you know Russell's Paradox only applies in that naive case rather than Zermelo-Fraenkel or Von Neumann–Bernays–Gödel theory.

However, I'd imagine the mechanism as having more modest goals - flagging the kind of language that's used to shore up papers with little logical basis, notice when hypotheses aren't used for conclusion or when conclusions are hypotheses, that sort of thing.