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	deduction	2	,  ⊢
2	instantiation	3, 4, 5	, ,  ⊢
	:
3	axiom		⊢
	proveit.logic.booleans.implication.affirmation_via_contradiction
4	assumption		⊢
5	deduction	6	,  ⊢
6	instantiation	22, 7, 8	, ,  ⊢
	:
7	generalization	9	,  ⊢
8	modus ponens	10, 11	,  ⊢
9	instantiation	12, 13	, ,  ⊢
	: , :
10	instantiation	14, 15	⊢
	:
11	instantiation	16, 32	⊢
	: , :
12	theorem		⊢
	proveit.logic.equality.fold_not_equals
13	instantiation	17, 18, 19	, ,  ⊢
	:
14	theorem		⊢
	proveit.logic.booleans.quantification.existence.exists_unfolding
15	assumption		⊢
16	theorem		⊢
	proveit.logic.booleans.conjunction.left_from_and
17	axiom		⊢
	proveit.logic.booleans.implication.denial_via_contradiction
18	instantiation	20	⊢
	: , :
19	deduction	21	, ,  ⊢
20	axiom		⊢
	proveit.logic.equality.equality_in_bool
21	instantiation	22, 23, 24	, , ,  ⊢
	:
22	theorem		⊢
	proveit.logic.booleans.negation.negation_contradiction
23	modus ponens	25, 26	, ,  ⊢
24	assumption		⊢
25	instantiation	27, 28	,  ⊢
	:
26	instantiation	29, 30	⊢
	:
27	instantiation	31, 32	⊢
	: , :
28	assumption		⊢
29	axiom		⊢
	proveit.logic.booleans.eq_true_elim
30	assumption		⊢
31	theorem		⊢
	proveit.logic.booleans.conjunction.right_from_and
32	assumption		⊢