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	assumption		⊢
4	assumption		⊢
5	assumption		⊢
6	deduction	8	, ,  ⊢
7	deduction	9	, ,  ⊢
8	instantiation	10, 13, 14, 11	, , ,  ⊢
	: , :
9	instantiation	12, 13, 14, 15	, , ,  ⊢
	: , :
10	theorem		⊢
	proveit.logic.booleans.disjunction.or_if_left
11	modus ponens	16, 17	,  ⊢
12	theorem		⊢
	proveit.logic.booleans.disjunction.or_if_right
13	assumption		⊢
14	assumption		⊢
15	modus ponens	18, 19	,  ⊢
16	assumption		⊢
17	assumption		⊢
18	assumption		⊢
19	assumption		⊢