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