「そのホストは薬効であるししかも諦め切る」ということは成り立たない
fact1: もし「水分調整でないか木らしくないかまたは両方な」物があるとしたらその複合化は行き難くない fact2: とある物は付属装置でないけど壊れ難い fact3: 仮に何かは付属装置でないし更に壊れ難くないとすると「あの東岸はＭＡＣＲＳである」ということは事実だ fact4: 仮にその客用はに因って行くということはないとすると「馬鹿でかくないが換価処分する」ということは成り立つということはない fact5: もしそのホストは付属装置であるかまたはそれは行き難いとしたらそれは薬効でない fact6: もしこの気道は京都議定書でないとしたら「「この保存ボタンは結び付き難いし更に薄める」ということは偽である」ということは成り立つ fact7: なにかは付属装置でない fact8: あの東岸はＭＡＣＲＳであるかそれは行き難いかまたは両方ならば水分調整でない fact9: 仮にあの東岸が行き難いとすると水分調整でない fact10: 「この千万人は行き難いししかもＭＡＣＲＳだ」ということは成り立たない fact11: そのホストは薬効だ fact12: その複合化は行き難くないとすれば「この千万人はＭＡＣＲＳであるがしかし壊れ難くない」ということは成り立たない fact13: この大量販売は薬効でそれは咎めだ fact14: もし「あるものは結び付き難いし加えて薄める」ということは成り立たないとしたらそれは焼き固めない fact15: あの東岸が薬効でないとすればそのホストは薬効であるしかつ諦め切る fact16: あの東岸は水分調整であるということはないならそれは薬効でない fact17: その客用はに因って行かない fact18: もしもあの東岸が薬効でないとしたらそのホストは薬効である fact19: 仮にとある物が焼き固めないとすれば水分調整でないかあるいは木らしくないか両方ともである fact20: 仮になんらかの物が付属装置だが壊れ難くないとすればあの東岸はＭＡＣＲＳだ fact21: あの祝い毎は付属装置でない fact22: あの東岸は付属装置だ fact23: あの祝い毎は付属装置でなくて壊れ難いということはない fact24: 「その客用は馬鹿でかくないけれど換価処分する」ということは誤っているとしたらこの気道は京都議定書でない fact25: ある物が壊れ難くないとしたらスピンオフでない
fact23 -> int1: 「付属装置でないしかつ壊れ難くない」物はある; int1 & fact3 -> int2: あの東岸はＭＡＣＲＳである; int2 -> int3: あの東岸はＭＡＣＲＳであるかあるいはそれは行き難いかもしくは両方ともだ; int3 & fact8 -> int4: あの東岸は水分調整であるということはない; int4 & fact16 -> int5: あの東岸は薬効でない; int5 & fact15 -> hypothesis;
もしこのＬＤＡＰが壊れ難くないならスピンオフでない
fact26 -> hypothesis;
$facts$ = fact1: もし「水分調整でないか木らしくないかまたは両方な」物があるとしたらその複合化は行き難くない fact2: とある物は付属装置でないけど壊れ難い fact3: 仮に何かは付属装置でないし更に壊れ難くないとすると「あの東岸はＭＡＣＲＳである」ということは事実だ fact4: 仮にその客用はに因って行くということはないとすると「馬鹿でかくないが換価処分する」ということは成り立つということはない fact5: もしそのホストは付属装置であるかまたはそれは行き難いとしたらそれは薬効でない fact6: もしこの気道は京都議定書でないとしたら「「この保存ボタンは結び付き難いし更に薄める」ということは偽である」ということは成り立つ fact7: なにかは付属装置でない fact8: あの東岸はＭＡＣＲＳであるかそれは行き難いかまたは両方ならば水分調整でない fact9: 仮にあの東岸が行き難いとすると水分調整でない fact10: 「この千万人は行き難いししかもＭＡＣＲＳだ」ということは成り立たない fact11: そのホストは薬効だ fact12: その複合化は行き難くないとすれば「この千万人はＭＡＣＲＳであるがしかし壊れ難くない」ということは成り立たない fact13: この大量販売は薬効でそれは咎めだ fact14: もし「あるものは結び付き難いし加えて薄める」ということは成り立たないとしたらそれは焼き固めない fact15: あの東岸が薬効でないとすればそのホストは薬効であるしかつ諦め切る fact16: あの東岸は水分調整であるということはないならそれは薬効でない fact17: その客用はに因って行かない fact18: もしもあの東岸が薬効でないとしたらそのホストは薬効である fact19: 仮にとある物が焼き固めないとすれば水分調整でないかあるいは木らしくないか両方ともである fact20: 仮になんらかの物が付属装置だが壊れ難くないとすればあの東岸はＭＡＣＲＳだ fact21: あの祝い毎は付属装置でない fact22: あの東岸は付属装置だ fact23: あの祝い毎は付属装置でなくて壊れ難いということはない fact24: 「その客用は馬鹿でかくないけれど換価処分する」ということは誤っているとしたらこの気道は京都議定書でない fact25: ある物が壊れ難くないとしたらスピンオフでない ; $hypothesis$ = 「そのホストは薬効であるししかも諦め切る」ということは成り立たない ; $proof$ = 
fact23 -> int1: 「付属装置でないしかつ壊れ難くない」物はある; int1 & fact3 -> int2: あの東岸はＭＡＣＲＳである; int2 -> int3: あの東岸はＭＡＣＲＳであるかあるいはそれは行き難いかもしくは両方ともだ; int3 & fact8 -> int4: あの東岸は水分調整であるということはない; int4 & fact16 -> int5: あの東岸は薬効でない; int5 & fact15 -> hypothesis; __DISPROVED__
事実1: もし「水分調整でないか木らしくないかまたは両方な」物があるとしたらその複合化は行き難くない
事実2: とある物は付属装置でないけど壊れ難い
事実3: 仮に何かは付属装置でないし更に壊れ難くないとすると「あの東岸はＭＡＣＲＳである」ということは事実だ
事実4: 仮にその客用はに因って行くということはないとすると「馬鹿でかくないが換価処分する」ということは成り立つということはない
事実5: もしそのホストは付属装置であるかまたはそれは行き難いとしたらそれは薬効でない
事実6: もしこの気道は京都議定書でないとしたら「「この保存ボタンは結び付き難いし更に薄める」ということは偽である」ということは成り立つ
事実7: なにかは付属装置でない
事実8: あの東岸はＭＡＣＲＳであるかそれは行き難いかまたは両方ならば水分調整でない
事実9: 仮にあの東岸が行き難いとすると水分調整でない
事実10: 「この千万人は行き難いししかもＭＡＣＲＳだ」ということは成り立たない
事実11: そのホストは薬効だ
事実12: その複合化は行き難くないとすれば「この千万人はＭＡＣＲＳであるがしかし壊れ難くない」ということは成り立たない
事実13: この大量販売は薬効でそれは咎めだ
事実14: もし「あるものは結び付き難いし加えて薄める」ということは成り立たないとしたらそれは焼き固めない
事実15: あの東岸が薬効でないとすればそのホストは薬効であるしかつ諦め切る
事実16: あの東岸は水分調整であるということはないならそれは薬効でない
事実17: その客用はに因って行かない
事実18: もしもあの東岸が薬効でないとしたらそのホストは薬効である
事実19: 仮にとある物が焼き固めないとすれば水分調整でないかあるいは木らしくないか両方ともである
事実20: 仮になんらかの物が付属装置だが壊れ難くないとすればあの東岸はＭＡＣＲＳだ
事実21: あの祝い毎は付属装置でない
事実22: あの東岸は付属装置だ
事実23: あの祝い毎は付属装置でなくて壊れ難いということはない
事実24: 「その客用は馬鹿でかくないけれど換価処分する」ということは誤っているとしたらこの気道は京都議定書でない
事実25: ある物が壊れ難くないとしたらスピンオフでない

仮説: 「そのホストは薬効であるししかも諦め切る」ということは成り立たない
1. 事実23から、推論1: "「付属装置でないしかつ壊れ難くない」物はある"が導かれる
2. 推論1と事実3から、推論2: "あの東岸はＭＡＣＲＳである"が導かれる
3. 推論2から、推論3: "あの東岸はＭＡＣＲＳであるかあるいはそれは行き難いかもしくは両方ともだ"が導かれる
4. 推論3と事実8から、推論4: "あの東岸は水分調整であるということはない"が導かれる
5. 推論4と事実16から、推論5: "あの東岸は薬効でない"が導かれる
6. 推論5と事実15から、仮説が否定される

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