「その信託業務は付き易くない」ということは成り立つ
fact1: もしもとあるものが目まぐるしいならそれは付き易い fact2: もし生き難くないものは行われ易いないとしたらそのＮ項は断定し難くない fact3: もし仮にそのＮ項がフェデラルでなくて駆け下りないならその信託業務は目まぐるしい fact4: そのＮ項はフェデラルでなくて更にそれは駆け下りるということはない fact5: あの都道府県レベルは生き難くないしそれにそれは行われ易いない fact6: 断定し難いということはない物はポリペクトミーだしそれに垢抜ける fact7: 仮にちっちゃい物が目まぐるしいとしたら付き易くない fact8: 「行われ易くない」ものがあればあの都道府県レベルはポリペクトミーでない一方で断定し難い fact9: 仮にその信託業務はちっちゃくないなら「そのＮ項は付き易いししかも目まぐるしい」ということは事実と異なる fact10: もしも「ある物は駆け下りる」ということは事実だとすればそれはフェデラルだ fact11: もし仮に「とある物は垢抜けないがしかしそれはポリペクトミーだ」ということは間違いであるなら「ちっちゃくない」ということは本当である fact12: 何かは行われ易いない
fact3 & fact4 -> int1: その信託業務は目まぐるしい; fact1 -> int2: 仮にその信託業務が目まぐるしいとするとそれは付き易い; int1 & int2 -> hypothesis;
その海浜流は駆け下りる
fact13 -> int3: 「もしも「その信託業務は垢抜けるということはないがそれはポリペクトミーだ」ということは成り立たないとすればその信託業務はちっちゃくない」ということは真実だ; fact15 & fact16 -> int4: あの都道府県レベルはポリペクトミーでないけれど断定し難い; int4 -> int5: あの都道府県レベルはポリペクトミーでない; int5 -> int6: なにかはポリペクトミーだということはない;
$facts$ = fact1: もしもとあるものが目まぐるしいならそれは付き易い fact2: もし生き難くないものは行われ易いないとしたらそのＮ項は断定し難くない fact3: もし仮にそのＮ項がフェデラルでなくて駆け下りないならその信託業務は目まぐるしい fact4: そのＮ項はフェデラルでなくて更にそれは駆け下りるということはない fact5: あの都道府県レベルは生き難くないしそれにそれは行われ易いない fact6: 断定し難いということはない物はポリペクトミーだしそれに垢抜ける fact7: 仮にちっちゃい物が目まぐるしいとしたら付き易くない fact8: 「行われ易くない」ものがあればあの都道府県レベルはポリペクトミーでない一方で断定し難い fact9: 仮にその信託業務はちっちゃくないなら「そのＮ項は付き易いししかも目まぐるしい」ということは事実と異なる fact10: もしも「ある物は駆け下りる」ということは事実だとすればそれはフェデラルだ fact11: もし仮に「とある物は垢抜けないがしかしそれはポリペクトミーだ」ということは間違いであるなら「ちっちゃくない」ということは本当である fact12: 何かは行われ易いない ; $hypothesis$ = 「その信託業務は付き易くない」ということは成り立つ ; $proof$ = 
fact3 & fact4 -> int1: その信託業務は目まぐるしい; fact1 -> int2: 仮にその信託業務が目まぐるしいとするとそれは付き易い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもとあるものが目まぐるしいならそれは付き易い
事実2: もし生き難くないものは行われ易いないとしたらそのＮ項は断定し難くない
事実3: もし仮にそのＮ項がフェデラルでなくて駆け下りないならその信託業務は目まぐるしい
事実4: そのＮ項はフェデラルでなくて更にそれは駆け下りるということはない
事実5: あの都道府県レベルは生き難くないしそれにそれは行われ易いない
事実6: 断定し難いということはない物はポリペクトミーだしそれに垢抜ける
事実7: 仮にちっちゃい物が目まぐるしいとしたら付き易くない
事実8: 「行われ易くない」ものがあればあの都道府県レベルはポリペクトミーでない一方で断定し難い
事実9: 仮にその信託業務はちっちゃくないなら「そのＮ項は付き易いししかも目まぐるしい」ということは事実と異なる
事実10: もしも「ある物は駆け下りる」ということは事実だとすればそれはフェデラルだ
事実11: もし仮に「とある物は垢抜けないがしかしそれはポリペクトミーだ」ということは間違いであるなら「ちっちゃくない」ということは本当である
事実12: 何かは行われ易いない

仮説: 「その信託業務は付き易くない」ということは成り立つ
1. 事実3と事実4から、推論1: "その信託業務は目まぐるしい"が導かれる
2. 事実1から、推論2: "仮にその信託業務が目まぐるしいとするとそれは付き易い"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。