proveit.logic.booleans.negation.falsified_negation_intro