あの常緑広葉樹は卑し
fact1: この偃月刀は新車である fact2: もし仮にその大勝負は慈母であるとすれば「あの常緑広葉樹は浅ましくないしおまけに六十参照でない」ということは成り立たない fact3: 「「「気取らなくておまけに軽さである」ということは本当である」ということは間違っている」物はある fact4: もし仮にその大勝負が浅ましいとすればこの偃月刀は慈母だ fact5: もしなにかは卑しとすると「それは新車でないし加えて改易しない」ということは間違っている fact6: もし仮にこの偃月刀が慈母であるかまたはそれは改易するなら「新車でない」ということは成り立つ fact7: あの常緑広葉樹は気取らないしそれに軽さでないとしたら卑し fact8: 「「気取らなくてそれに軽さでない」ということは誤りな」物があるとすればその大勝負は浅ましい
void -> assump1: 以下のように仮定する。「あの常緑広葉樹は気取るということはないしまた軽さでない」ということは嘘である; assump1 -> int1: 「「気取らないし軽さでない」ということは成り立たない」物はある; int1 & fact8 -> int2: その大勝負は浅ましい; int2 & fact4 -> int3: 「この偃月刀は慈母だ」ということは真実だ; int3 -> int4: この偃月刀は慈母であるかあるいは改易する; int4 & fact6 -> int5: この偃月刀は新車でない; int5 & fact1 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの常緑広葉樹は気取らなくてそれは軽さでない; int7 & fact7 -> hypothesis;
「「あの常緑広葉樹は浅ましくないし更に六十参照でない」ということは誤りである」ということは成り立つ
fact9 -> int8: その大勝負は卑しとすれば「それは新車でないしその上改易しない」ということは事実と異なる;
$facts$ = fact1: この偃月刀は新車である fact2: もし仮にその大勝負は慈母であるとすれば「あの常緑広葉樹は浅ましくないしおまけに六十参照でない」ということは成り立たない fact3: 「「「気取らなくておまけに軽さである」ということは本当である」ということは間違っている」物はある fact4: もし仮にその大勝負が浅ましいとすればこの偃月刀は慈母だ fact5: もしなにかは卑しとすると「それは新車でないし加えて改易しない」ということは間違っている fact6: もし仮にこの偃月刀が慈母であるかまたはそれは改易するなら「新車でない」ということは成り立つ fact7: あの常緑広葉樹は気取らないしそれに軽さでないとしたら卑し fact8: 「「気取らなくてそれに軽さでない」ということは誤りな」物があるとすればその大勝負は浅ましい ; $hypothesis$ = あの常緑広葉樹は卑し ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの常緑広葉樹は気取るということはないしまた軽さでない」ということは嘘である; assump1 -> int1: 「「気取らないし軽さでない」ということは成り立たない」物はある; int1 & fact8 -> int2: その大勝負は浅ましい; int2 & fact4 -> int3: 「この偃月刀は慈母だ」ということは真実だ; int3 -> int4: この偃月刀は慈母であるかあるいは改易する; int4 & fact6 -> int5: この偃月刀は新車でない; int5 & fact1 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの常緑広葉樹は気取らなくてそれは軽さでない; int7 & fact7 -> hypothesis; __PROVED__
事実1: この偃月刀は新車である
事実2: もし仮にその大勝負は慈母であるとすれば「あの常緑広葉樹は浅ましくないしおまけに六十参照でない」ということは成り立たない
事実3: 「「「気取らなくておまけに軽さである」ということは本当である」ということは間違っている」物はある
事実4: もし仮にその大勝負が浅ましいとすればこの偃月刀は慈母だ
事実5: もしなにかは卑しとすると「それは新車でないし加えて改易しない」ということは間違っている
事実6: もし仮にこの偃月刀が慈母であるかまたはそれは改易するなら「新車でない」ということは成り立つ
事実7: あの常緑広葉樹は気取らないしそれに軽さでないとしたら卑し
事実8: 「「気取らなくてそれに軽さでない」ということは誤りな」物があるとすればその大勝負は浅ましい

仮説: あの常緑広葉樹は卑し
1. 仮定1: 以下のように仮定する。「あの常緑広葉樹は気取るということはないしまた軽さでない」ということは嘘である
2. 仮定1から、推論1: "「「気取らないし軽さでない」ということは成り立たない」物はある"が導かれる
3. 推論1と事実8から、推論2: "その大勝負は浅ましい"が導かれる
4. 推論2と事実4から、推論3: "「この偃月刀は慈母だ」ということは真実だ"が導かれる
5. 推論3から、推論4: "この偃月刀は慈母であるかあるいは改易する"が導かれる
6. 推論4と事実6から、推論5: "この偃月刀は新車でない"が導かれる
7. 推論5と事実1から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの常緑広葉樹は気取らなくてそれは軽さでない"が導かれる
9. 推論7と事実7から、仮説が導かれる

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