もし「その独断は小堂である」ということは本当であるとしたらその税はディレクトリ以下だということはないし更にぎらつかない
fact1: もしシャープネスが起こし易いとすると加われるということはない fact2: 「その独断は軽薄だ」ということは成り立つならこの首位打者は七個以上である fact3: 「その税はシャープネスで起こし易い」ということは確かだ fact4: 七個以上は解し難いが小堂でない fact5: 仮に「あるものはディレクトリ以下でないがそれはぎらつく」ということは偽であるならばディレクトリ以下である fact6: 「その税は加われないならば「その独断はセ氏でなくて加えて模様編みでない」ということは事実と異なる」ということは成り立つ fact7: もしもその独断は小堂であるならば「その税はディレクトリ以下でない」ということは成り立つ fact8: もし仮に「とある物はセ氏でないし加えて模様編みでない」ということは成り立たないとすれば「それは軽薄だ」ということは事実だ fact9: もし仮になにがしかの物は小堂でないとすれば「それはディレクトリ以下でないけれどぎらつく」ということは事実でない fact10: その独断が小堂だとしたらそれはぎらつく fact11: その独断がぎらつくとするとその税はディレクトリ以下でなくてしかもぎらつかない
void -> assump1: 以下のように仮定する。その独断は小堂だ; fact10 & assump1 -> int1: その独断はぎらつく; int1 & fact11 -> int2: その税はディレクトリ以下でなくてぎらつかない; [assump1] & int2 -> hypothesis;
この首位打者はディレクトリ以下だ
fact13 -> int3: 仮に「この首位打者はディレクトリ以下だということはないがしかしそれはぎらつく」ということは間違っているとするとそれはディレクトリ以下である; fact16 -> int4: 仮にこの首位打者は小堂でないとすると「ディレクトリ以下でなくておまけにぎらつく」ということは成り立たない; fact12 -> int5: この首位打者が七個以上であるとすれば解し難いしさらにそれは小堂でない; fact17 -> int6: 仮に「「その独断はセ氏でなくておまけに模様編みでない」ということは事実だ」ということは成り立たないなら軽薄だ; fact19 -> int7: もしその税はシャープネスで起こし易いとすればそれは加われない; int7 & fact18 -> int8: その税は加われない; fact14 & int8 -> int9: 「その独断はセ氏でなくてかつ模様編みでない」ということは間違っている; int6 & int9 -> int10: その独断は軽薄である; fact15 & int10 -> int11: この首位打者は七個以上だ; int5 & int11 -> int12: この首位打者は解し難いがそれは小堂でない; int12 -> int13: この首位打者は小堂でない; int4 & int13 -> int14: 「「この首位打者はディレクトリ以下でないけどぎらつく」ということは確かである」ということは本当でない; int3 & int14 -> hypothesis;
$facts$ = fact1: もしシャープネスが起こし易いとすると加われるということはない fact2: 「その独断は軽薄だ」ということは成り立つならこの首位打者は七個以上である fact3: 「その税はシャープネスで起こし易い」ということは確かだ fact4: 七個以上は解し難いが小堂でない fact5: 仮に「あるものはディレクトリ以下でないがそれはぎらつく」ということは偽であるならばディレクトリ以下である fact6: 「その税は加われないならば「その独断はセ氏でなくて加えて模様編みでない」ということは事実と異なる」ということは成り立つ fact7: もしもその独断は小堂であるならば「その税はディレクトリ以下でない」ということは成り立つ fact8: もし仮に「とある物はセ氏でないし加えて模様編みでない」ということは成り立たないとすれば「それは軽薄だ」ということは事実だ fact9: もし仮になにがしかの物は小堂でないとすれば「それはディレクトリ以下でないけれどぎらつく」ということは事実でない fact10: その独断が小堂だとしたらそれはぎらつく fact11: その独断がぎらつくとするとその税はディレクトリ以下でなくてしかもぎらつかない ; $hypothesis$ = もし「その独断は小堂である」ということは本当であるとしたらその税はディレクトリ以下だということはないし更にぎらつかない ; $proof$ = 
void -> assump1: 以下のように仮定する。その独断は小堂だ; fact10 & assump1 -> int1: その独断はぎらつく; int1 & fact11 -> int2: その税はディレクトリ以下でなくてぎらつかない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしシャープネスが起こし易いとすると加われるということはない
事実2: 「その独断は軽薄だ」ということは成り立つならこの首位打者は七個以上である
事実3: 「その税はシャープネスで起こし易い」ということは確かだ
事実4: 七個以上は解し難いが小堂でない
事実5: 仮に「あるものはディレクトリ以下でないがそれはぎらつく」ということは偽であるならばディレクトリ以下である
事実6: 「その税は加われないならば「その独断はセ氏でなくて加えて模様編みでない」ということは事実と異なる」ということは成り立つ
事実7: もしもその独断は小堂であるならば「その税はディレクトリ以下でない」ということは成り立つ
事実8: もし仮に「とある物はセ氏でないし加えて模様編みでない」ということは成り立たないとすれば「それは軽薄だ」ということは事実だ
事実9: もし仮になにがしかの物は小堂でないとすれば「それはディレクトリ以下でないけれどぎらつく」ということは事実でない
事実10: その独断が小堂だとしたらそれはぎらつく
事実11: その独断がぎらつくとするとその税はディレクトリ以下でなくてしかもぎらつかない

仮説: もし「その独断は小堂である」ということは本当であるとしたらその税はディレクトリ以下だということはないし更にぎらつかない
1. 仮定1: 以下のように仮定する。その独断は小堂だ
2. 事実10と仮定1から、推論1: "その独断はぎらつく"が導かれる
3. 推論1と事実11から、推論2: "その税はディレクトリ以下でなくてぎらつかない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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