proveit.logic.booleans.unfold_is_bool_explicit
proveit.logic.booleans.disjunction.or_if_both
proveit.logic.booleans.disjunction.or_if_only_right
proveit.logic.booleans.negation.negation_intro
proveit.logic.booleans.disjunction.singular_constructive_dilemma