Show the Proof

import proveit
# Automation is not needed when only showing a stored proof:
proveit.defaults.automation = False # This will speed things up.
proveit.defaults.inline_pngs = False # Makes files smaller.
%show_proof

	step type	requirements	statement
0	generalization	1	⊢
1	instantiation	2, 3, 4, 5, 6, 7	,  ⊢
	: , : , :
2	theorem		⊢
	proveit.logic.booleans.disjunction.singular_constructive_dilemma
3	instantiation	8	⊢
	: , :
4	instantiation	8	⊢
	: , :
5	instantiation	9, 10	⊢
	:
6	deduction	11	⊢
7	deduction	12	⊢
8	axiom		⊢
	proveit.logic.equality.equality_in_bool
9	theorem		⊢
	proveit.logic.booleans.unfold_is_bool_explicit
10	assumption		⊢
11	instantiation	13, 16, 14	,  ⊢
	: , :
12	instantiation	15, 16, 17	,  ⊢
	: , :
13	theorem		⊢
	proveit.logic.booleans.disjunction.or_if_both
14	instantiation	18, 19	⊢
	:
15	theorem		⊢
	proveit.logic.booleans.disjunction.or_if_only_left
16	assumption		⊢
17	instantiation	20, 21	⊢
	:
18	axiom		⊢
	proveit.logic.booleans.eq_true_elim
19	assumption		⊢
20	theorem		⊢
	proveit.logic.booleans.negation.negation_intro
21	assumption		⊢