「あの複素表示は受け止め切れるかもしくはそれは四等分しない」ということは間違いである
fact1: なにかは削り直さないとすれば「「がめつかないかまたは倭国であるかもしくはどちらもである」ということは成り立つ」ということは成り立たない fact2: もし仮にこの地中海世界は恐縮するなら「そのＪ社は恐縮しない」ということは成り立つ fact3: もし仮にこの震度が受け止め切れるとしたらあの複素表示は受け止め切れるかあるいはそれは四等分しないかもしくは両方ともである fact4: もし仮に「このインポートはがめつかないかもしくは倭国であるかまたは両方ともだ」ということは真実でないならばこの地中海世界はがめついということはない fact5: そのＪ社は止まり掛ける fact6: もしもあるものは理論展開でないならそれは恐縮するし加えて意味創出である fact7: 「もしこの震度が各セクションでないとするとあの複素表示は欲深いし受け止め切れる」ということは本当だ fact8: もし仮になにがしかの物は意味創出でないとするとそれは各セクションであるししかも四等分する fact9: とある物は軽々しいけれど選び分けない fact10: 「そのＪ社は理論展開である」ということは確かである fact11: 「「そのＪ社は夥しくないけどそれは出来得る」ということは成り立たない」ということは事実である fact12: この震度は各セクションである fact13: 仮にそのＪ社が止まり掛けるしさらに理論展開だとするとこの震度は理論展開でない fact14: 仮にこの地中海世界ががめつかないならばそのＪ社は理論展開であるし選び分ける fact15: もしも「「そのＪ社は夥しくない一方でそれは出来得る」ということは事実である」ということは成り立つということはないならば出来得ない fact16: もし仮にこの震度が恐縮すればあの複素表示は各セクションだ fact17: もし仮にそのＪ社が恐縮するということはないがしかし各セクションであるとすると「この震度は各セクションだ」ということは成り立たない fact18: もしそのＪ社が出来得るということはないとすればそれは止まり掛けるし軽々しい fact19: この震度が受け止め切れればあの複素表示は受け止め切れるかまたは四等分するかあるいは両方ともである fact20: この震度は受け止め切れるし加えて各セクションだ fact21: もしも軽々しい物が選び分けるということはないとしたらこの地中海世界は恐縮する
fact20 -> int1: この震度は受け止め切れる; int1 & fact3 -> hypothesis;
fact20 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
「あの複素表示は受け止め切れるかあるいは四等分しない」ということは正しいということはない
fact24 -> int2: 仮にこの震度が理論展開でないとするとそれは恐縮するしそれは意味創出である; fact23 & fact25 -> int3: そのＪ社は出来得ない; fact30 & int3 -> int4: そのＪ社は止まり掛けるしまた軽々しい; int4 -> int5: そのＪ社は止まり掛ける; fact28 -> int6: もしこのインポートは削り直さないとすると「がめつかないかまたはそれは倭国であるかもしくはどちらもだ」ということは間違っている;
$facts$ = fact1: なにかは削り直さないとすれば「「がめつかないかまたは倭国であるかもしくはどちらもである」ということは成り立つ」ということは成り立たない fact2: もし仮にこの地中海世界は恐縮するなら「そのＪ社は恐縮しない」ということは成り立つ fact3: もし仮にこの震度が受け止め切れるとしたらあの複素表示は受け止め切れるかあるいはそれは四等分しないかもしくは両方ともである fact4: もし仮に「このインポートはがめつかないかもしくは倭国であるかまたは両方ともだ」ということは真実でないならばこの地中海世界はがめついということはない fact5: そのＪ社は止まり掛ける fact6: もしもあるものは理論展開でないならそれは恐縮するし加えて意味創出である fact7: 「もしこの震度が各セクションでないとするとあの複素表示は欲深いし受け止め切れる」ということは本当だ fact8: もし仮になにがしかの物は意味創出でないとするとそれは各セクションであるししかも四等分する fact9: とある物は軽々しいけれど選び分けない fact10: 「そのＪ社は理論展開である」ということは確かである fact11: 「「そのＪ社は夥しくないけどそれは出来得る」ということは成り立たない」ということは事実である fact12: この震度は各セクションである fact13: 仮にそのＪ社が止まり掛けるしさらに理論展開だとするとこの震度は理論展開でない fact14: 仮にこの地中海世界ががめつかないならばそのＪ社は理論展開であるし選び分ける fact15: もしも「「そのＪ社は夥しくない一方でそれは出来得る」ということは事実である」ということは成り立つということはないならば出来得ない fact16: もし仮にこの震度が恐縮すればあの複素表示は各セクションだ fact17: もし仮にそのＪ社が恐縮するということはないがしかし各セクションであるとすると「この震度は各セクションだ」ということは成り立たない fact18: もしそのＪ社が出来得るということはないとすればそれは止まり掛けるし軽々しい fact19: この震度が受け止め切れればあの複素表示は受け止め切れるかまたは四等分するかあるいは両方ともである fact20: この震度は受け止め切れるし加えて各セクションだ fact21: もしも軽々しい物が選び分けるということはないとしたらこの地中海世界は恐縮する ; $hypothesis$ = 「あの複素表示は受け止め切れるかもしくはそれは四等分しない」ということは間違いである ; $proof$ = 
fact20 -> int1: この震度は受け止め切れる; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: なにかは削り直さないとすれば「「がめつかないかまたは倭国であるかもしくはどちらもである」ということは成り立つ」ということは成り立たない
事実2: もし仮にこの地中海世界は恐縮するなら「そのＪ社は恐縮しない」ということは成り立つ
事実3: もし仮にこの震度が受け止め切れるとしたらあの複素表示は受け止め切れるかあるいはそれは四等分しないかもしくは両方ともである
事実4: もし仮に「このインポートはがめつかないかもしくは倭国であるかまたは両方ともだ」ということは真実でないならばこの地中海世界はがめついということはない
事実5: そのＪ社は止まり掛ける
事実6: もしもあるものは理論展開でないならそれは恐縮するし加えて意味創出である
事実7: 「もしこの震度が各セクションでないとするとあの複素表示は欲深いし受け止め切れる」ということは本当だ
事実8: もし仮になにがしかの物は意味創出でないとするとそれは各セクションであるししかも四等分する
事実9: とある物は軽々しいけれど選び分けない
事実10: 「そのＪ社は理論展開である」ということは確かである
事実11: 「「そのＪ社は夥しくないけどそれは出来得る」ということは成り立たない」ということは事実である
事実12: この震度は各セクションである
事実13: 仮にそのＪ社が止まり掛けるしさらに理論展開だとするとこの震度は理論展開でない
事実14: 仮にこの地中海世界ががめつかないならばそのＪ社は理論展開であるし選び分ける
事実15: もしも「「そのＪ社は夥しくない一方でそれは出来得る」ということは事実である」ということは成り立つということはないならば出来得ない
事実16: もし仮にこの震度が恐縮すればあの複素表示は各セクションだ
事実17: もし仮にそのＪ社が恐縮するということはないがしかし各セクションであるとすると「この震度は各セクションだ」ということは成り立たない
事実18: もしそのＪ社が出来得るということはないとすればそれは止まり掛けるし軽々しい
事実19: この震度が受け止め切れればあの複素表示は受け止め切れるかまたは四等分するかあるいは両方ともである
事実20: この震度は受け止め切れるし加えて各セクションだ
事実21: もしも軽々しい物が選び分けるということはないとしたらこの地中海世界は恐縮する

仮説: 「あの複素表示は受け止め切れるかもしくはそれは四等分しない」ということは間違いである
1. 事実20から、推論1: "この震度は受け止め切れる"が導かれる
2. 推論1と事実3から、仮説が否定される

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