proveit.logic.booleans.disjunction.destructive_multi_dilemma