あの倍額は自明化する
fact1: あの於兎は保存し直すか一家言でないかあるいは両方である fact2: もしも「ある物は人材群だ」ということは正しいならば朝鮮側でない fact3: もし仮にあの組織目標は朝鮮側でないとすれば「あの倍額は癌免疫療法で経営統合する」ということは確かであるということはない fact4: もし仮に「なにかは癌免疫療法であるしかつそれは経営統合する」ということは間違いであるならば「それは自明化しない」ということは真実だ fact5: もしあの於兎が保存し直すかもしくはそれは一家言でないかまたはどちらもだとすると「あの組織目標は人材群だ」ということは真実だ
fact5 & fact1 -> int1: あの組織目標は人材群だ; fact2 -> int2: 仮にあの組織目標は人材群であるなら朝鮮側でない; int1 & int2 -> int3: あの組織目標は朝鮮側でない; int3 & fact3 -> int4: 「あの倍額は癌免疫療法でしかも経営統合する」ということは誤っている; fact4 -> int5: もし仮に「あの倍額は癌免疫療法であるし経営統合する」ということは事実と異なるとしたらそれは自明化しない; int4 & int5 -> hypothesis;
$facts$ = fact1: あの於兎は保存し直すか一家言でないかあるいは両方である fact2: もしも「ある物は人材群だ」ということは正しいならば朝鮮側でない fact3: もし仮にあの組織目標は朝鮮側でないとすれば「あの倍額は癌免疫療法で経営統合する」ということは確かであるということはない fact4: もし仮に「なにかは癌免疫療法であるしかつそれは経営統合する」ということは間違いであるならば「それは自明化しない」ということは真実だ fact5: もしあの於兎が保存し直すかもしくはそれは一家言でないかまたはどちらもだとすると「あの組織目標は人材群だ」ということは真実だ ; $hypothesis$ = あの倍額は自明化する ; $proof$ = 
fact5 & fact1 -> int1: あの組織目標は人材群だ; fact2 -> int2: 仮にあの組織目標は人材群であるなら朝鮮側でない; int1 & int2 -> int3: あの組織目標は朝鮮側でない; int3 & fact3 -> int4: 「あの倍額は癌免疫療法でしかも経営統合する」ということは誤っている; fact4 -> int5: もし仮に「あの倍額は癌免疫療法であるし経営統合する」ということは事実と異なるとしたらそれは自明化しない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: あの於兎は保存し直すか一家言でないかあるいは両方である
事実2: もしも「ある物は人材群だ」ということは正しいならば朝鮮側でない
事実3: もし仮にあの組織目標は朝鮮側でないとすれば「あの倍額は癌免疫療法で経営統合する」ということは確かであるということはない
事実4: もし仮に「なにかは癌免疫療法であるしかつそれは経営統合する」ということは間違いであるならば「それは自明化しない」ということは真実だ
事実5: もしあの於兎が保存し直すかもしくはそれは一家言でないかまたはどちらもだとすると「あの組織目標は人材群だ」ということは真実だ

仮説: あの倍額は自明化する
1. 事実5と事実1から、推論1: "あの組織目標は人材群だ"が導かれる
2. 事実2から、推論2: "仮にあの組織目標は人材群であるなら朝鮮側でない"が導かれる
3. 推論1と推論2から、推論3: "あの組織目標は朝鮮側でない"が導かれる
4. 推論3と事実3から、推論4: "「あの倍額は癌免疫療法でしかも経営統合する」ということは誤っている"が導かれる
5. 事実4から、推論5: "もし仮に「あの倍額は癌免疫療法であるし経営統合する」ということは事実と異なるとしたらそれは自明化しない"が導かれる
6. 推論4と推論5から、仮説が否定される

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