「そのユンケルトムは寒々しかないけれど拝む」ということは誤りだ
fact1: 「そのユンケルトムはスライドであるし東回りだ」ということは事実と異なる fact2: なんらかの物がコラボレートするとすれば所取りだ fact3: この割礼は中耳腔でないけれど唱え続ける fact4: 「この切削は予測出来ない」ということは成り立つ fact5: そのユンケルトムは中耳腔でない fact6: 何かは予測出来るかもしくは遅らせるか両方だとするとそれは寒々しいということはない fact7: もしとある物は予測出来るとすれば「「寒々しかないしその上拝む」ということは成り立つ」ということは嘘だ fact8: そのユンケルトムは進ぜるということはないとすれば「晦ますしさらに扱い難い」ということは成り立たない fact9: 「そのユンケルトムが東回りだしさらに交渉す」ということは間違いである fact10: もし仮に何らかの物が判別し易いとしたらそれは烏滸がましい fact11: その奴隷解放は就業禁止でないとすると「寒々しくて煙たい」ということは事実と異なる fact12: そのユンケルトムは遅らせる fact13: もしも「あるものは東回りであるということはない一方で交渉す」ということは事実と異なればそれは拝む fact14: そのユンケルトムは中耳腔だということはないとすると「東回りでないが交渉す」ということは本当でない fact15: その老齢厚生年金は遅らせる fact16: もし仮にあの業務改善評価委員会は掛け難くないならば「予測出来るしその上吸収合併する」ということは成り立つということはない fact17: そのユンケルトムは辛抱強い
fact12 -> int1: そのユンケルトムは予測出来るかそれは遅らせるかまたは両方ともである; fact6 -> int2: 仮にそのユンケルトムは予測出来るかあるいは遅らせるか両方ともであるとしたら寒々しかない; int1 & int2 -> int3: そのユンケルトムは寒々しかない; fact13 -> int4: 「そのユンケルトムは東回りでないがそれは交渉す」ということは成り立たないなら拝む; fact5 & fact14 -> int5: 「そのユンケルトムは東回りでないが交渉す」ということは誤っている; int4 & int5 -> int6: そのユンケルトムは拝む; int3 & int6 -> hypothesis;
fact12 -> int1: ({A}{a} v {B}{a}); fact6 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; fact13 -> int4: ¬(¬{F}{a} & {E}{a}) -> {D}{a}; fact5 & fact14 -> int5: ¬(¬{F}{a} & {E}{a}); int4 & int5 -> int6: {D}{a}; int3 & int6 -> hypothesis;
「そのユンケルトムは寒々しかない一方で拝む」ということは間違いだ
fact18 -> int7: 仮にそのユンケルトムは予測出来るとしたら「それは寒々しかないし加えて拝む」ということは偽である;
$facts$ = fact1: 「そのユンケルトムはスライドであるし東回りだ」ということは事実と異なる fact2: なんらかの物がコラボレートするとすれば所取りだ fact3: この割礼は中耳腔でないけれど唱え続ける fact4: 「この切削は予測出来ない」ということは成り立つ fact5: そのユンケルトムは中耳腔でない fact6: 何かは予測出来るかもしくは遅らせるか両方だとするとそれは寒々しいということはない fact7: もしとある物は予測出来るとすれば「「寒々しかないしその上拝む」ということは成り立つ」ということは嘘だ fact8: そのユンケルトムは進ぜるということはないとすれば「晦ますしさらに扱い難い」ということは成り立たない fact9: 「そのユンケルトムが東回りだしさらに交渉す」ということは間違いである fact10: もし仮に何らかの物が判別し易いとしたらそれは烏滸がましい fact11: その奴隷解放は就業禁止でないとすると「寒々しくて煙たい」ということは事実と異なる fact12: そのユンケルトムは遅らせる fact13: もしも「あるものは東回りであるということはない一方で交渉す」ということは事実と異なればそれは拝む fact14: そのユンケルトムは中耳腔だということはないとすると「東回りでないが交渉す」ということは本当でない fact15: その老齢厚生年金は遅らせる fact16: もし仮にあの業務改善評価委員会は掛け難くないならば「予測出来るしその上吸収合併する」ということは成り立つということはない fact17: そのユンケルトムは辛抱強い ; $hypothesis$ = 「そのユンケルトムは寒々しかないけれど拝む」ということは誤りだ ; $proof$ = 
fact12 -> int1: そのユンケルトムは予測出来るかそれは遅らせるかまたは両方ともである; fact6 -> int2: 仮にそのユンケルトムは予測出来るかあるいは遅らせるか両方ともであるとしたら寒々しかない; int1 & int2 -> int3: そのユンケルトムは寒々しかない; fact13 -> int4: 「そのユンケルトムは東回りでないがそれは交渉す」ということは成り立たないなら拝む; fact5 & fact14 -> int5: 「そのユンケルトムは東回りでないが交渉す」ということは誤っている; int4 & int5 -> int6: そのユンケルトムは拝む; int3 & int6 -> hypothesis; __DISPROVED__
事実1: 「そのユンケルトムはスライドであるし東回りだ」ということは事実と異なる
事実2: なんらかの物がコラボレートするとすれば所取りだ
事実3: この割礼は中耳腔でないけれど唱え続ける
事実4: 「この切削は予測出来ない」ということは成り立つ
事実5: そのユンケルトムは中耳腔でない
事実6: 何かは予測出来るかもしくは遅らせるか両方だとするとそれは寒々しいということはない
事実7: もしとある物は予測出来るとすれば「「寒々しかないしその上拝む」ということは成り立つ」ということは嘘だ
事実8: そのユンケルトムは進ぜるということはないとすれば「晦ますしさらに扱い難い」ということは成り立たない
事実9: 「そのユンケルトムが東回りだしさらに交渉す」ということは間違いである
事実10: もし仮に何らかの物が判別し易いとしたらそれは烏滸がましい
事実11: その奴隷解放は就業禁止でないとすると「寒々しくて煙たい」ということは事実と異なる
事実12: そのユンケルトムは遅らせる
事実13: もしも「あるものは東回りであるということはない一方で交渉す」ということは事実と異なればそれは拝む
事実14: そのユンケルトムは中耳腔だということはないとすると「東回りでないが交渉す」ということは本当でない
事実15: その老齢厚生年金は遅らせる
事実16: もし仮にあの業務改善評価委員会は掛け難くないならば「予測出来るしその上吸収合併する」ということは成り立つということはない
事実17: そのユンケルトムは辛抱強い

仮説: 「そのユンケルトムは寒々しかないけれど拝む」ということは誤りだ
1. 事実12から、推論1: "そのユンケルトムは予測出来るかそれは遅らせるかまたは両方ともである"が導かれる
2. 事実6から、推論2: "仮にそのユンケルトムは予測出来るかあるいは遅らせるか両方ともであるとしたら寒々しかない"が導かれる
3. 推論1と推論2から、推論3: "そのユンケルトムは寒々しかない"が導かれる
4. 事実13から、推論4: "「そのユンケルトムは東回りでないがそれは交渉す」ということは成り立たないなら拝む"が導かれる
5. 事実5と事実14から、推論5: "「そのユンケルトムは東回りでないが交渉す」ということは誤っている"が導かれる
6. 推論4と推論5から、推論6: "そのユンケルトムは拝む"が導かれる
7. 推論3と推論6から、仮説が否定される

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