この御喜びは付議しない
fact1: あの製品群Ａ製造ラインは諸将である fact2: もしも何らかのものは御聞き為さらないならば「それは付議しないかまたは一部改正でない」ということは成り立たない fact3: もしこのコンポーネンツが時系列方向であるとすればその高楼は凄まじい fact4: もし仮にこの御喜びが付議するということはないかそれは一部改正だとしたら「この半減は御聞き為さる」ということは偽でない fact5: もしもあの製品群Ａ製造ラインは諸将であるならば「それは語り継がなくてまた答え難くない」ということは間違いだ fact6: この肺塞栓症診断は御詳しいかまたは一部改正であるかまたは両方ともだ fact7: もしその一週間単位が訝しくないし金融政策でないとするとあの製品群Ａ製造ラインは金融政策だ fact8: もし仮にあの大土地所有は御聞き為さらないなら「それは一部改正で更に御詳しい」ということは嘘である fact9: もしこの半減が一部改正だということはないならばこの肺塞栓症診断は御詳しくないかまたは一部改正であるかあるいは両方だ fact10: 仮になんらかのものが三千六百ＲＰＭでそれに金融政策であるならこのコンポーネンツは時系列方向である fact11: この肺塞栓症診断が御詳しいということはないとしたらこの半減は御聞き為さらない fact12: 「もし「この半減は付議するということはないかまたは一部改正でないかまたは両方である」ということは誤りならばこの御喜びは付議しない」ということは確かだ fact13: 「この肺塞栓症診断は御詳しくないかもしくは一部改正であるかあるいはどちらもである」ということは成り立つならこの御喜びは付議する fact14: 仮にあるものが精神病院入院患者でないとしたらそれは卑しかもしくはそれは起こり得る fact15: その一週間単位は不正でない fact16: もしもその一週間単位が不正でないなら訝しくなくて金融政策でない fact17: 仮に「あの製品群Ａ製造ラインは語り継がなくてそれは答え難くない」ということは成り立たないなら三千六百ＲＰＭだ fact18: 仮にこの半減が一部改正でないとしたらこの肺塞栓症診断は御詳しいかもしくはそれは一部改正であるかまたはどちらもである fact19: この半減は御聞き為さるけど一部改正でない
fact19 -> int1: この半減は一部改正でない; int1 & fact9 -> int2: この肺塞栓症診断は御詳しくないか一部改正であるかあるいは両方ともである; int2 & fact13 -> hypothesis;
この御喜びは付議するということはない
fact22 -> int3: もしもこの半減は御聞き為さらないとすると「それは付議するということはないかまたは一部改正でないかあるいは両方である」ということは事実と異なる; fact30 -> int4: 仮にこの馬形木製品は精神病院入院患者でないとしたら「それは卑しかまたは起こり得る」ということは成り立つ; fact25 & fact24 -> int5: 「あの製品群Ａ製造ラインは語り継がないし加えてそれは答え難くない」ということは成り立たない; fact28 & int5 -> int6: あの製品群Ａ製造ラインは三千六百ＲＰＭである; fact20 & fact27 -> int7: その一週間単位は訝しくなくてかつ金融政策だということはない; fact31 & int7 -> int8: あの製品群Ａ製造ラインは金融政策である; int6 & int8 -> int9: あの製品群Ａ製造ラインは三千六百ＲＰＭであるしおまけに金融政策だ; int9 -> int10: とある物は三千六百ＲＰＭでそれに金融政策だ; int10 & fact21 -> int11: 「このコンポーネンツは時系列方向だ」ということは成り立つ; fact26 & int11 -> int12: その高楼は凄まじい; int12 -> int13: とある物は凄まじい;
$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 & fact9 -> int2: この肺塞栓症診断は御詳しくないか一部改正であるかあるいは両方ともである; int2 & fact13 -> 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と事実9から、推論2: "この肺塞栓症診断は御詳しくないか一部改正であるかあるいは両方ともである"が導かれる
3. 推論2と事実13から、仮説が否定される

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