「「その富札は球速でなくてそれに変わり続けるということはない」ということは確かである」ということは本当だということはないとしたらこの見附面積は所得階層でない
fact1: 仮に「その富札は所得階層でないししかも球速でない」ということは間違いであるとしたらこの見附面積は変わり続けない fact2: 「「球速でないが変わり続ける」ということは誤りな」物はある fact3: 何らかのものは変わり続ける fact4: その富札が球速でなくておまけに変わり続けないとするとこの見附面積は所得階層でない fact5: 「この見附面積は所得階層である一方でそれは球速でない」ということは誤りだ fact6: 「その富札は所得階層でないしその上変わり続けない」ということは嘘だ fact7: 仮に「「球速であるということはなくて変わり続けない」ということは誤っている」ものがあるならこの見附面積は所得階層でない fact8: とある物は球速でなくてかつ変わり続けない fact9: 「その富札は球速だ一方でそれは変わり続けない」ということは間違いである fact10: 「その富札は所得階層でない一方でそれは変わり続ける」ということは嘘である fact11: この見附面積は使用貸借でない fact12: その富札は変わり続ける fact13: この小銭は所得階層でない fact14: 仮に「「「球速でなくておまけに所得階層でない」ということは本当である」ということは誤りである」ものがあるとすればこの見附面積は変わり続けない fact15: 「「球速だし変わり続けない」ということは真実でない」ものはある fact16: 「この見附面積が所得階層だということはないしさらに球速でない」ということは嘘である fact17: その富札は球速だ fact18: 「「所得階層だということはないしそれに変わり続けない」ということは偽である」物はある fact19: 「その富札は所得階層でないがそれは球速だ」ということは誤っている fact20: 何らかの物は球速だ fact21: 「「その富札は球速でないがしかしそれは変わり続ける」ということは成り立つ」ということは間違いである
void -> assump1: 以下のように仮定する。「その富札は球速でなくてそれは変わり続けない」ということは成り立つということはない; assump1 -> int1: 「「球速でないし更に変わり続けない」ということは偽な」物はある; int1 & fact7 -> int2: 「この見附面積は所得階層だということはない」ということは確かである; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 仮に「その富札は所得階層でないししかも球速でない」ということは間違いであるとしたらこの見附面積は変わり続けない fact2: 「「球速でないが変わり続ける」ということは誤りな」物はある fact3: 何らかのものは変わり続ける fact4: その富札が球速でなくておまけに変わり続けないとするとこの見附面積は所得階層でない fact5: 「この見附面積は所得階層である一方でそれは球速でない」ということは誤りだ fact6: 「その富札は所得階層でないしその上変わり続けない」ということは嘘だ fact7: 仮に「「球速であるということはなくて変わり続けない」ということは誤っている」ものがあるならこの見附面積は所得階層でない fact8: とある物は球速でなくてかつ変わり続けない fact9: 「その富札は球速だ一方でそれは変わり続けない」ということは間違いである fact10: 「その富札は所得階層でない一方でそれは変わり続ける」ということは嘘である fact11: この見附面積は使用貸借でない fact12: その富札は変わり続ける fact13: この小銭は所得階層でない fact14: 仮に「「「球速でなくておまけに所得階層でない」ということは本当である」ということは誤りである」ものがあるとすればこの見附面積は変わり続けない fact15: 「「球速だし変わり続けない」ということは真実でない」ものはある fact16: 「この見附面積が所得階層だということはないしさらに球速でない」ということは嘘である fact17: その富札は球速だ fact18: 「「所得階層だということはないしそれに変わり続けない」ということは偽である」物はある fact19: 「その富札は所得階層でないがそれは球速だ」ということは誤っている fact20: 何らかの物は球速だ fact21: 「「その富札は球速でないがしかしそれは変わり続ける」ということは成り立つ」ということは間違いである ; $hypothesis$ = 「「その富札は球速でなくてそれに変わり続けるということはない」ということは確かである」ということは本当だということはないとしたらこの見附面積は所得階層でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その富札は球速でなくてそれは変わり続けない」ということは成り立つということはない; assump1 -> int1: 「「球速でないし更に変わり続けない」ということは偽な」物はある; int1 & fact7 -> int2: 「この見附面積は所得階層だということはない」ということは確かである; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮に「その富札は所得階層でないししかも球速でない」ということは間違いであるとしたらこの見附面積は変わり続けない
事実2: 「「球速でないが変わり続ける」ということは誤りな」物はある
事実3: 何らかのものは変わり続ける
事実4: その富札が球速でなくておまけに変わり続けないとするとこの見附面積は所得階層でない
事実5: 「この見附面積は所得階層である一方でそれは球速でない」ということは誤りだ
事実6: 「その富札は所得階層でないしその上変わり続けない」ということは嘘だ
事実7: 仮に「「球速であるということはなくて変わり続けない」ということは誤っている」ものがあるならこの見附面積は所得階層でない
事実8: とある物は球速でなくてかつ変わり続けない
事実9: 「その富札は球速だ一方でそれは変わり続けない」ということは間違いである
事実10: 「その富札は所得階層でない一方でそれは変わり続ける」ということは嘘である
事実11: この見附面積は使用貸借でない
事実12: その富札は変わり続ける
事実13: この小銭は所得階層でない
事実14: 仮に「「「球速でなくておまけに所得階層でない」ということは本当である」ということは誤りである」ものがあるとすればこの見附面積は変わり続けない
事実15: 「「球速だし変わり続けない」ということは真実でない」ものはある
事実16: 「この見附面積が所得階層だということはないしさらに球速でない」ということは嘘である
事実17: その富札は球速だ
事実18: 「「所得階層だということはないしそれに変わり続けない」ということは偽である」物はある
事実19: 「その富札は所得階層でないがそれは球速だ」ということは誤っている
事実20: 何らかの物は球速だ
事実21: 「「その富札は球速でないがしかしそれは変わり続ける」ということは成り立つ」ということは間違いである

仮説: 「「その富札は球速でなくてそれに変わり続けるということはない」ということは確かである」ということは本当だということはないとしたらこの見附面積は所得階層でない
1. 仮定1: 以下のように仮定する。「その富札は球速でなくてそれは変わり続けない」ということは成り立つということはない
2. 仮定1から、推論1: "「「球速でないし更に変わり続けない」ということは偽な」物はある"が導かれる
3. 推論1と事実7から、推論2: "「この見附面積は所得階層だということはない」ということは確かである"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

よって、仮説が証明されました。