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