「「このテキストファイルウィザードは湧き立つがしかし見栄えでない」ということは偽であるならばこのテキストファイルウィザードは心胆だ」ということは誤りである
fact1: 仮に「とある物は湧き立つ一方で見栄えでない」ということは事実でないとするとそれは心胆だ
$facts$ = fact1: 仮に「とある物は湧き立つ一方で見栄えでない」ということは事実でないとするとそれは心胆だ ; $hypothesis$ = 「「このテキストファイルウィザードは湧き立つがしかし見栄えでない」ということは偽であるならばこのテキストファイルウィザードは心胆だ」ということは誤りである ; $proof$ = 
事実1: 仮に「とある物は湧き立つ一方で見栄えでない」ということは事実でないとするとそれは心胆だ

仮説: 「「このテキストファイルウィザードは湧き立つがしかし見栄えでない」ということは偽であるならばこのテキストファイルウィザードは心胆だ」ということは誤りである