proveit.logic.booleans.disjunction.singular_constructive_dilemma_lemma