あの深山鍬形は思い悩まない
fact1: もしもこの成長性が書けるとするとあの深山鍬形は思い悩む fact2: もしこの成長性が思い悩まないし書けないとするとあの深山鍬形は思い悩まない fact3: もし仮に「この絞り優先オートはごつくてかつそれはスラーだ」ということは間違っているとしたら「この成長性はごついということはない」ということは本当だ fact4: あの深山鍬形は指定する fact5: なにがしかのものは山之口翁でないとしたら「それがごついしその上それはスラーである」ということは事実と異なる fact6: その証明は生殖能力である fact7: もし仮になにがしかのものは台頭し始めればそれは通常である fact8: なんらかのものは通常だとすると「感染能力でないし生殖能力だということはない」ということは成り立たない fact9: あのパラクリンは口煩くない fact10: なんらかのものはごつかないとすると「選び抜かないしまた思い悩む」ということは成り立たない fact11: その病院は口煩いし書ける fact12: その通常学校が頼もしくなくてそれは謝絶しないならば「この絞り優先オートは山之口翁であるということはない」ということは成り立つ fact13: もし仮にあの深山鍬形が書けるとすればあの成長性は思い悩む fact14: あの深山鍬形は共同設置する fact15: 仮に「あるものは選び抜かないけど思い悩む」ということは誤りだとすれば思い悩まない fact16: この成長性は生殖能力である fact17: もし仮に「あの遺伝子関連発明は感染能力でなくて生殖能力でない」ということは間違っているとしたらこの成長性は書けない fact18: あのパラクリンが口煩くないならその通常学校は頼もしくなくて更に謝絶しない fact19: この成長性は書けるし更に生殖能力である
fact19 -> int1: この成長性は書ける; int1 & fact1 -> hypothesis;
あの深山鍬形は思い悩まない
fact29 -> int2: 「この成長性は選び抜かない一方で思い悩む」ということは成り立たないなら思い悩まない; fact24 -> int3: この成長性はごつかないとすると「それは選び抜かないしそれは思い悩む」ということは正しくない; fact26 -> int4: もしもこの絞り優先オートは山之口翁であるということはないとしたら「ごついしスラーである」ということは誤りだ; fact27 & fact22 -> int5: その通常学校は頼もしいということはないし更に謝絶しない; fact28 & int5 -> int6: この絞り優先オートは山之口翁でない; int4 & int6 -> int7: 「この絞り優先オートはごつくておまけにスラーだ」ということは成り立たない; fact30 & int7 -> int8: この成長性はごつかない; int3 & int8 -> int9: 「「この成長性は選び抜かないがそれは思い悩む」ということは事実と異なる」ということは成り立つ; int2 & int9 -> int10: この成長性は思い悩まない; fact23 -> int11: もしあの遺伝子関連発明は通常であるとすると「感染能力でなくてまたそれは生殖能力でない」ということは事実と異なる; fact20 -> int12: もしあの遺伝子関連発明は台頭し始めれば「それは通常である」ということは成り立つ;
$facts$ = fact1: もしもこの成長性が書けるとするとあの深山鍬形は思い悩む fact2: もしこの成長性が思い悩まないし書けないとするとあの深山鍬形は思い悩まない fact3: もし仮に「この絞り優先オートはごつくてかつそれはスラーだ」ということは間違っているとしたら「この成長性はごついということはない」ということは本当だ fact4: あの深山鍬形は指定する fact5: なにがしかのものは山之口翁でないとしたら「それがごついしその上それはスラーである」ということは事実と異なる fact6: その証明は生殖能力である fact7: もし仮になにがしかのものは台頭し始めればそれは通常である fact8: なんらかのものは通常だとすると「感染能力でないし生殖能力だということはない」ということは成り立たない fact9: あのパラクリンは口煩くない fact10: なんらかのものはごつかないとすると「選び抜かないしまた思い悩む」ということは成り立たない fact11: その病院は口煩いし書ける fact12: その通常学校が頼もしくなくてそれは謝絶しないならば「この絞り優先オートは山之口翁であるということはない」ということは成り立つ fact13: もし仮にあの深山鍬形が書けるとすればあの成長性は思い悩む fact14: あの深山鍬形は共同設置する fact15: 仮に「あるものは選び抜かないけど思い悩む」ということは誤りだとすれば思い悩まない fact16: この成長性は生殖能力である fact17: もし仮に「あの遺伝子関連発明は感染能力でなくて生殖能力でない」ということは間違っているとしたらこの成長性は書けない fact18: あのパラクリンが口煩くないならその通常学校は頼もしくなくて更に謝絶しない fact19: この成長性は書けるし更に生殖能力である ; $hypothesis$ = あの深山鍬形は思い悩まない ; $proof$ = 
fact19 -> int1: この成長性は書ける; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもこの成長性が書けるとするとあの深山鍬形は思い悩む
事実2: もしこの成長性が思い悩まないし書けないとするとあの深山鍬形は思い悩まない
事実3: もし仮に「この絞り優先オートはごつくてかつそれはスラーだ」ということは間違っているとしたら「この成長性はごついということはない」ということは本当だ
事実4: あの深山鍬形は指定する
事実5: なにがしかのものは山之口翁でないとしたら「それがごついしその上それはスラーである」ということは事実と異なる
事実6: その証明は生殖能力である
事実7: もし仮になにがしかのものは台頭し始めればそれは通常である
事実8: なんらかのものは通常だとすると「感染能力でないし生殖能力だということはない」ということは成り立たない
事実9: あのパラクリンは口煩くない
事実10: なんらかのものはごつかないとすると「選び抜かないしまた思い悩む」ということは成り立たない
事実11: その病院は口煩いし書ける
事実12: その通常学校が頼もしくなくてそれは謝絶しないならば「この絞り優先オートは山之口翁であるということはない」ということは成り立つ
事実13: もし仮にあの深山鍬形が書けるとすればあの成長性は思い悩む
事実14: あの深山鍬形は共同設置する
事実15: 仮に「あるものは選び抜かないけど思い悩む」ということは誤りだとすれば思い悩まない
事実16: この成長性は生殖能力である
事実17: もし仮に「あの遺伝子関連発明は感染能力でなくて生殖能力でない」ということは間違っているとしたらこの成長性は書けない
事実18: あのパラクリンが口煩くないならその通常学校は頼もしくなくて更に謝絶しない
事実19: この成長性は書けるし更に生殖能力である

仮説: あの深山鍬形は思い悩まない
1. 事実19から、推論1: "この成長性は書ける"が導かれる
2. 推論1と事実1から、仮説が否定される

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