「あの手持ち無沙汰は破れ難いし険しい」ということは間違っている
fact1: もし仮にあの引数無しが掴み難いということはないとすればそれは臨海部であるかあるいは心室中隔欠損である fact2: もしこの旗手は構え易くないとしたら「あの手持ち無沙汰は破れ難くて険しい」ということは誤りだ fact3: 心室中隔欠損は漉く fact4: もし仮にあの手持ち無沙汰は険しかないとすると「この旗手は破れ難いし更に構え易い」ということは間違いである fact5: もし仮にこの旗手は破れ難いということはないとしたら「あの手持ち無沙汰は構え易いし険しい」ということは事実と異なる fact6: 「「この商法違反はマニエリスムであるししかもそれはピラフだ」ということは正しい」ということは成り立たない fact7: 仮に「「容易くないけれど特急車両だ」ということは成り立たない」ものがあるならこの旗手は特急車両であるということはない fact8: 「あの手持ち無沙汰は構え易いし険しい」ということは成り立たない fact9: この実践化は険しかない fact10: もし「あの引数無しは漉く」ということは確かだとすると「容易くないが特急車両だ」ということは偽だ fact11: この旗手は険しかない fact12: もしこの旗手は険しかないとすると「「あの手持ち無沙汰は破れ難くて構え易い」ということは成り立つ」ということは事実と異なる fact13: もし仮にあの手持ち無沙汰は構え易くないとすれば「この旗手は破れ難いししかも険しい」ということは成り立つということはない fact14: もしも「あの手持ち無沙汰は破れ難くない」ということは事実なら「この旗手は構え易いしそれに険しい」ということは成り立たない fact15: もしもなにかは臨海部であるとしたら漉く fact16: 仮に「この商法違反はマニエリスムであるしまたピラフである」ということは事実と異なるならあの引数無しは掴み難くない fact17: このバルビツール酸誘導体は香しかない fact18: 「この旗手は構え易くない」ということは本当だ fact19: もしも香しいということはないものがあればあの手持ち無沙汰は破れ難くてさらにそれは数合わせだ
fact2 & fact18 -> hypothesis;
あの手持ち無沙汰は破れ難いしまた険しい
fact28 -> int1: なんらかの物は香しかない; int1 & fact22 -> int2: あの手持ち無沙汰は破れ難いしまた数合わせである; int2 -> int3: あの手持ち無沙汰は破れ難い; fact25 & fact23 -> int4: 「あの引数無しは掴み難いということはない」ということは正しい; fact21 & int4 -> int5: あの引数無しは臨海部であるかもしくは心室中隔欠損であるかどちらもである; fact27 -> int6: あの引数無しは臨海部であるとすれば漉く; fact24 -> int7: もしもあの引数無しは心室中隔欠損であるとすれば漉く; int5 & int6 & int7 -> int8: あの引数無しは漉く; fact20 & int8 -> int9: 「あの引数無しは容易くないけれど特急車両だ」ということは偽である; int9 -> int10: 「「容易いということはないが特急車両だ」ということは間違っている」物はある; int10 & fact26 -> int11: この旗手は特急車両でない; int11 -> int12: 「特急車両でない」ものはある;
$facts$ = fact1: もし仮にあの引数無しが掴み難いということはないとすればそれは臨海部であるかあるいは心室中隔欠損である fact2: もしこの旗手は構え易くないとしたら「あの手持ち無沙汰は破れ難くて険しい」ということは誤りだ fact3: 心室中隔欠損は漉く fact4: もし仮にあの手持ち無沙汰は険しかないとすると「この旗手は破れ難いし更に構え易い」ということは間違いである fact5: もし仮にこの旗手は破れ難いということはないとしたら「あの手持ち無沙汰は構え易いし険しい」ということは事実と異なる fact6: 「「この商法違反はマニエリスムであるししかもそれはピラフだ」ということは正しい」ということは成り立たない fact7: 仮に「「容易くないけれど特急車両だ」ということは成り立たない」ものがあるならこの旗手は特急車両であるということはない fact8: 「あの手持ち無沙汰は構え易いし険しい」ということは成り立たない fact9: この実践化は険しかない fact10: もし「あの引数無しは漉く」ということは確かだとすると「容易くないが特急車両だ」ということは偽だ fact11: この旗手は険しかない fact12: もしこの旗手は険しかないとすると「「あの手持ち無沙汰は破れ難くて構え易い」ということは成り立つ」ということは事実と異なる fact13: もし仮にあの手持ち無沙汰は構え易くないとすれば「この旗手は破れ難いししかも険しい」ということは成り立つということはない fact14: もしも「あの手持ち無沙汰は破れ難くない」ということは事実なら「この旗手は構え易いしそれに険しい」ということは成り立たない fact15: もしもなにかは臨海部であるとしたら漉く fact16: 仮に「この商法違反はマニエリスムであるしまたピラフである」ということは事実と異なるならあの引数無しは掴み難くない fact17: このバルビツール酸誘導体は香しかない fact18: 「この旗手は構え易くない」ということは本当だ fact19: もしも香しいということはないものがあればあの手持ち無沙汰は破れ難くてさらにそれは数合わせだ ; $hypothesis$ = 「あの手持ち無沙汰は破れ難いし険しい」ということは間違っている ; $proof$ = 
fact2 & fact18 -> hypothesis; __PROVED__
事実1: もし仮にあの引数無しが掴み難いということはないとすればそれは臨海部であるかあるいは心室中隔欠損である
事実2: もしこの旗手は構え易くないとしたら「あの手持ち無沙汰は破れ難くて険しい」ということは誤りだ
事実3: 心室中隔欠損は漉く
事実4: もし仮にあの手持ち無沙汰は険しかないとすると「この旗手は破れ難いし更に構え易い」ということは間違いである
事実5: もし仮にこの旗手は破れ難いということはないとしたら「あの手持ち無沙汰は構え易いし険しい」ということは事実と異なる
事実6: 「「この商法違反はマニエリスムであるししかもそれはピラフだ」ということは正しい」ということは成り立たない
事実7: 仮に「「容易くないけれど特急車両だ」ということは成り立たない」ものがあるならこの旗手は特急車両であるということはない
事実8: 「あの手持ち無沙汰は構え易いし険しい」ということは成り立たない
事実9: この実践化は険しかない
事実10: もし「あの引数無しは漉く」ということは確かだとすると「容易くないが特急車両だ」ということは偽だ
事実11: この旗手は険しかない
事実12: もしこの旗手は険しかないとすると「「あの手持ち無沙汰は破れ難くて構え易い」ということは成り立つ」ということは事実と異なる
事実13: もし仮にあの手持ち無沙汰は構え易くないとすれば「この旗手は破れ難いししかも険しい」ということは成り立つということはない
事実14: もしも「あの手持ち無沙汰は破れ難くない」ということは事実なら「この旗手は構え易いしそれに険しい」ということは成り立たない
事実15: もしもなにかは臨海部であるとしたら漉く
事実16: 仮に「この商法違反はマニエリスムであるしまたピラフである」ということは事実と異なるならあの引数無しは掴み難くない
事実17: このバルビツール酸誘導体は香しかない
事実18: 「この旗手は構え易くない」ということは本当だ
事実19: もしも香しいということはないものがあればあの手持ち無沙汰は破れ難くてさらにそれは数合わせだ

仮説: 「あの手持ち無沙汰は破れ難いし険しい」ということは間違っている
1. 事実2と事実18から、仮説が導かれる

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