「あの所有権留保は植え替えるかそれは達し得るかあるいはどちらもである」ということは成り立つということはない
fact1: もし「あのナンバーツーは軍事力だということはない」ということは確かであるならば踏ん反る fact2: もし「ある物は軍事力だが立ち往生しない」ということは成り立つということはないとすればそれは踏ん反る fact3: 仮にあの所有権留保が立ち往生しないなら達し得る fact4: 「あの所有権留保は達し得る一方で植え替えるということはない」ということは間違っているとするとそれは立ち往生する fact5: 「あの所有権留保は収載するが書き下ろすということはない」ということは成り立たないなら「それは達し得ない」ということは成り立たない fact6: 仮に「展望出来ない」ものはあるとすると「「あのナンバーツーは軍事力であるが立ち往生しない」ということは誤りだ」ということは事実である fact7: 「展望出来ない」ものはある fact8: もしもあの所有権留保が踏ん反らないとするとそれは達し得る fact9: もしもあのナンバーツーが踏ん反るならあの所有権留保は植え替える
fact7 & fact6 -> int1: 「あのナンバーツーは軍事力であるがしかし立ち往生しない」ということは誤っている; fact2 -> int2: もしも「あのナンバーツーは軍事力だが立ち往生しない」ということは間違いであるとしたら踏ん反る; int1 & int2 -> int3: あのナンバーツーは踏ん反る; int3 & fact9 -> int4: あの所有権留保は植え替える; int4 -> hypothesis;
$facts$ = fact1: もし「あのナンバーツーは軍事力だということはない」ということは確かであるならば踏ん反る fact2: もし「ある物は軍事力だが立ち往生しない」ということは成り立つということはないとすればそれは踏ん反る fact3: 仮にあの所有権留保が立ち往生しないなら達し得る fact4: 「あの所有権留保は達し得る一方で植え替えるということはない」ということは間違っているとするとそれは立ち往生する fact5: 「あの所有権留保は収載するが書き下ろすということはない」ということは成り立たないなら「それは達し得ない」ということは成り立たない fact6: 仮に「展望出来ない」ものはあるとすると「「あのナンバーツーは軍事力であるが立ち往生しない」ということは誤りだ」ということは事実である fact7: 「展望出来ない」ものはある fact8: もしもあの所有権留保が踏ん反らないとするとそれは達し得る fact9: もしもあのナンバーツーが踏ん反るならあの所有権留保は植え替える ; $hypothesis$ = 「あの所有権留保は植え替えるかそれは達し得るかあるいはどちらもである」ということは成り立つということはない ; $proof$ = 
fact7 & fact6 -> int1: 「あのナンバーツーは軍事力であるがしかし立ち往生しない」ということは誤っている; fact2 -> int2: もしも「あのナンバーツーは軍事力だが立ち往生しない」ということは間違いであるとしたら踏ん反る; int1 & int2 -> int3: あのナンバーツーは踏ん反る; int3 & fact9 -> int4: あの所有権留保は植え替える; int4 -> hypothesis; __DISPROVED__
事実1: もし「あのナンバーツーは軍事力だということはない」ということは確かであるならば踏ん反る
事実2: もし「ある物は軍事力だが立ち往生しない」ということは成り立つということはないとすればそれは踏ん反る
事実3: 仮にあの所有権留保が立ち往生しないなら達し得る
事実4: 「あの所有権留保は達し得る一方で植え替えるということはない」ということは間違っているとするとそれは立ち往生する
事実5: 「あの所有権留保は収載するが書き下ろすということはない」ということは成り立たないなら「それは達し得ない」ということは成り立たない
事実6: 仮に「展望出来ない」ものはあるとすると「「あのナンバーツーは軍事力であるが立ち往生しない」ということは誤りだ」ということは事実である
事実7: 「展望出来ない」ものはある
事実8: もしもあの所有権留保が踏ん反らないとするとそれは達し得る
事実9: もしもあのナンバーツーが踏ん反るならあの所有権留保は植え替える

仮説: 「あの所有権留保は植え替えるかそれは達し得るかあるいはどちらもである」ということは成り立つということはない
1. 事実7と事実6から、推論1: "「あのナンバーツーは軍事力であるがしかし立ち往生しない」ということは誤っている"が導かれる
2. 事実2から、推論2: "もしも「あのナンバーツーは軍事力だが立ち往生しない」ということは間違いであるとしたら踏ん反る"が導かれる
3. 推論1と推論2から、推論3: "あのナンバーツーは踏ん反る"が導かれる
4. 推論3と事実9から、推論4: "あの所有権留保は植え替える"が導かれる
5. 推論4から、仮説が否定される

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