3 ms·

That's why formal logic was invented(started by Aristotle!). There are computerized rules for checking that the formula is valid given proof.