proveit.logic.booleans.disjunction.not_or_if_not_any