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	, ,  ⊢
	: , :
2	theorem		⊢
	proveit.logic.equality.fold_not_equals
3	instantiation	4, 5, 6	, ,  ⊢
	:
4	axiom		⊢
	proveit.logic.booleans.implication.denial_via_contradiction
5	instantiation	7	⊢
	: , :
6	deduction	8	, ,  ⊢
7	axiom		⊢
	proveit.logic.equality.equality_in_bool
8	instantiation	9, 10, 11	, , ,  ⊢
	:
9	theorem		⊢
	proveit.logic.booleans.negation.negation_contradiction
10	modus ponens	12, 13	, ,  ⊢
11	assumption		⊢
12	instantiation	14, 15	,  ⊢
	:
13	instantiation	16, 17	⊢
	:
14	instantiation	18, 19	⊢
	: , :
15	assumption		⊢
16	axiom		⊢
	proveit.logic.booleans.eq_true_elim
17	assumption		⊢
18	theorem		⊢
	proveit.logic.booleans.conjunction.right_from_and
19	assumption		⊢