もし仮にあの隆寛本法然伝は暴利であるとすると「あの集中部はサドゥーだけれど有るらしくない」ということは偽である
fact1: 仮に「「あのアラビア馬は科学的証拠だ一方でそれは延伸するということはない」ということは本当だ」ということは成り立たないならばそれは侘しくない fact2: あのアラビア馬が暴利でないならあの隆寛本法然伝は有るらしいということはない fact3: なにかは入り為さるとしたら「それは科学的証拠だけど延伸しない」ということは偽だ fact4: もしあの隆寛本法然伝は暴利であるとすると「あの集中部はサドゥーであるししかも有るらしい」ということは成り立たない fact5: あの集中部は有るらしくないなら「あのアラビア馬は侘しくてさらにそれは有るらしい」ということは成り立つということはない fact6: 仮に「あの集中部は挙るということはないがしかし有るらしい」ということは確かでないとすればあの無毛は有るらしくない fact7: もし「あのアラビア馬は侘しいししかも有るらしい」ということは偽ならあの隆寛本法然伝は暴利でない
void -> assump1: 以下のように仮定する。あの集中部はサドゥーであるがしかし有るらしくない; assump1 -> int1: あの集中部は有るらしくない; int1 & fact5 -> int2: 「あのアラビア馬は侘しいし有るらしい」ということは間違いだ; int2 & fact7 -> int3: あの隆寛本法然伝は暴利でない; void -> assump2: 以下のように仮定する。あの隆寛本法然伝は暴利だ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの集中部はサドゥーであるがそれは有るらしくない」ということは成り立たない; [assump2] & int5 -> hypothesis;
この無毛は暴利だ
fact9 -> int6: 仮にあの隆寛本法然伝は入り為さるとすると「それは科学的証拠であるしかつそれは延伸しない」ということは成り立たない;
$facts$ = fact1: 仮に「「あのアラビア馬は科学的証拠だ一方でそれは延伸するということはない」ということは本当だ」ということは成り立たないならばそれは侘しくない fact2: あのアラビア馬が暴利でないならあの隆寛本法然伝は有るらしいということはない fact3: なにかは入り為さるとしたら「それは科学的証拠だけど延伸しない」ということは偽だ fact4: もしあの隆寛本法然伝は暴利であるとすると「あの集中部はサドゥーであるししかも有るらしい」ということは成り立たない fact5: あの集中部は有るらしくないなら「あのアラビア馬は侘しくてさらにそれは有るらしい」ということは成り立つということはない fact6: 仮に「あの集中部は挙るということはないがしかし有るらしい」ということは確かでないとすればあの無毛は有るらしくない fact7: もし「あのアラビア馬は侘しいししかも有るらしい」ということは偽ならあの隆寛本法然伝は暴利でない ; $hypothesis$ = もし仮にあの隆寛本法然伝は暴利であるとすると「あの集中部はサドゥーだけれど有るらしくない」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの集中部はサドゥーであるがしかし有るらしくない; assump1 -> int1: あの集中部は有るらしくない; int1 & fact5 -> int2: 「あのアラビア馬は侘しいし有るらしい」ということは間違いだ; int2 & fact7 -> int3: あの隆寛本法然伝は暴利でない; void -> assump2: 以下のように仮定する。あの隆寛本法然伝は暴利だ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの集中部はサドゥーであるがそれは有るらしくない」ということは成り立たない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: 仮に「「あのアラビア馬は科学的証拠だ一方でそれは延伸するということはない」ということは本当だ」ということは成り立たないならばそれは侘しくない
事実2: あのアラビア馬が暴利でないならあの隆寛本法然伝は有るらしいということはない
事実3: なにかは入り為さるとしたら「それは科学的証拠だけど延伸しない」ということは偽だ
事実4: もしあの隆寛本法然伝は暴利であるとすると「あの集中部はサドゥーであるししかも有るらしい」ということは成り立たない
事実5: あの集中部は有るらしくないなら「あのアラビア馬は侘しくてさらにそれは有るらしい」ということは成り立つということはない
事実6: 仮に「あの集中部は挙るということはないがしかし有るらしい」ということは確かでないとすればあの無毛は有るらしくない
事実7: もし「あのアラビア馬は侘しいししかも有るらしい」ということは偽ならあの隆寛本法然伝は暴利でない

仮説: もし仮にあの隆寛本法然伝は暴利であるとすると「あの集中部はサドゥーだけれど有るらしくない」ということは偽である
1. 仮定1: 以下のように仮定する。あの集中部はサドゥーであるがしかし有るらしくない
2. 仮定1から、推論1: "あの集中部は有るらしくない"が導かれる
3. 推論1と事実5から、推論2: "「あのアラビア馬は侘しいし有るらしい」ということは間違いだ"が導かれる
4. 推論2と事実7から、推論3: "あの隆寛本法然伝は暴利でない"が導かれる
5. 仮定2: 以下のように仮定する。あの隆寛本法然伝は暴利だ
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「あの集中部はサドゥーであるがそれは有るらしくない」ということは成り立たない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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