あの壊れ物は風力協同組合である
fact1: この綛糸は冗談っぽい fact2: とあるものは気管支拡張薬でないしさらに思い始めないとするとそれは自動算出する fact3: この縁切り榎は惜しくて気触れだ fact4: 「なにがしかの物は研究出来ないがＣ‐Ｇだ」ということは本当であるとすれば手加減する fact5: もし仮にこの綛糸が自動算出するし四捨五入するならばあの壊れ物は風力協同組合でない fact6: もしもとあるものは負ぶさるとすると「現示するということはないしさらに練り合わせる」ということは間違いだ fact7: もし「この綛糸は甘んじる」ということは真実だとするとスクリプト・データ・イベントである fact8: あの市長さんは気管支拡張薬でない fact9: この綛糸は甘んじる fact10: あの壊れ物は負ぶさらない fact11: あの市長さんは気触れであるしさらに負ぶさる fact12: あの壊れ物は四捨五入する fact13: もし仮にこの縁切り榎が気管支拡張薬でないとするとこの綛糸は気管支拡張薬でなくてそれは思い始めない fact14: もしも「「現示しなくて練り合わせる」ということは成り立たない」物があるとしたらこの縁切り榎は気管支拡張薬でない fact15: あの壊れ物が甘んじないが風力協同組合だとしたら「思い始める」ということは成り立つ fact16: なんらかのものがスクリプト・データ・イベントだとすると四捨五入する fact17: もし仮になんらかのものが負ぶさるとするとそれは風力協同組合だ fact18: もし仮にあの市長さんが現示するとするとそれは気管支拡張薬である
fact6 -> int1: もし仮にあの市長さんは負ぶさるとしたら「現示しないがしかし練り合わせる」ということは成り立たない; fact11 -> int2: あの市長さんは負ぶさる; int1 & int2 -> int3: 「「あの市長さんは現示しないけど練り合わせる」ということは成り立つということはない」ということは成り立つ; int3 -> int4: 「「現示しないし練り合わせる」ということは成り立たない」ものはある; int4 & fact14 -> int5: この縁切り榎は気管支拡張薬でない; int5 & fact13 -> int6: この綛糸は気管支拡張薬でなくてまた思い始めない; fact2 -> int7: もしこの綛糸は気管支拡張薬でないし思い始めないならそれは自動算出する; int6 & int7 -> int8: この綛糸は自動算出する; fact9 & fact7 -> int9: この綛糸はスクリプト・データ・イベントである; fact16 -> int10: もしもこの綛糸がスクリプト・データ・イベントだとするとそれは四捨五入する; int9 & int10 -> int11: この綛糸は四捨五入する; int8 & int11 -> int12: この綛糸は自動算出するししかも四捨五入する; int12 & fact5 -> hypothesis;
あの壊れ物は風力協同組合だ
fact19 -> int13: もしあの壊れ物が負ぶさるなら風力協同組合である;
$facts$ = fact1: この綛糸は冗談っぽい fact2: とあるものは気管支拡張薬でないしさらに思い始めないとするとそれは自動算出する fact3: この縁切り榎は惜しくて気触れだ fact4: 「なにがしかの物は研究出来ないがＣ‐Ｇだ」ということは本当であるとすれば手加減する fact5: もし仮にこの綛糸が自動算出するし四捨五入するならばあの壊れ物は風力協同組合でない fact6: もしもとあるものは負ぶさるとすると「現示するということはないしさらに練り合わせる」ということは間違いだ fact7: もし「この綛糸は甘んじる」ということは真実だとするとスクリプト・データ・イベントである fact8: あの市長さんは気管支拡張薬でない fact9: この綛糸は甘んじる fact10: あの壊れ物は負ぶさらない fact11: あの市長さんは気触れであるしさらに負ぶさる fact12: あの壊れ物は四捨五入する fact13: もし仮にこの縁切り榎が気管支拡張薬でないとするとこの綛糸は気管支拡張薬でなくてそれは思い始めない fact14: もしも「「現示しなくて練り合わせる」ということは成り立たない」物があるとしたらこの縁切り榎は気管支拡張薬でない fact15: あの壊れ物が甘んじないが風力協同組合だとしたら「思い始める」ということは成り立つ fact16: なんらかのものがスクリプト・データ・イベントだとすると四捨五入する fact17: もし仮になんらかのものが負ぶさるとするとそれは風力協同組合だ fact18: もし仮にあの市長さんが現示するとするとそれは気管支拡張薬である ; $hypothesis$ = あの壊れ物は風力協同組合である ; $proof$ = 
fact6 -> int1: もし仮にあの市長さんは負ぶさるとしたら「現示しないがしかし練り合わせる」ということは成り立たない; fact11 -> int2: あの市長さんは負ぶさる; int1 & int2 -> int3: 「「あの市長さんは現示しないけど練り合わせる」ということは成り立つということはない」ということは成り立つ; int3 -> int4: 「「現示しないし練り合わせる」ということは成り立たない」ものはある; int4 & fact14 -> int5: この縁切り榎は気管支拡張薬でない; int5 & fact13 -> int6: この綛糸は気管支拡張薬でなくてまた思い始めない; fact2 -> int7: もしこの綛糸は気管支拡張薬でないし思い始めないならそれは自動算出する; int6 & int7 -> int8: この綛糸は自動算出する; fact9 & fact7 -> int9: この綛糸はスクリプト・データ・イベントである; fact16 -> int10: もしもこの綛糸がスクリプト・データ・イベントだとするとそれは四捨五入する; int9 & int10 -> int11: この綛糸は四捨五入する; int8 & int11 -> int12: この綛糸は自動算出するししかも四捨五入する; int12 & fact5 -> hypothesis; __DISPROVED__
事実1: この綛糸は冗談っぽい
事実2: とあるものは気管支拡張薬でないしさらに思い始めないとするとそれは自動算出する
事実3: この縁切り榎は惜しくて気触れだ
事実4: 「なにがしかの物は研究出来ないがＣ‐Ｇだ」ということは本当であるとすれば手加減する
事実5: もし仮にこの綛糸が自動算出するし四捨五入するならばあの壊れ物は風力協同組合でない
事実6: もしもとあるものは負ぶさるとすると「現示するということはないしさらに練り合わせる」ということは間違いだ
事実7: もし「この綛糸は甘んじる」ということは真実だとするとスクリプト・データ・イベントである
事実8: あの市長さんは気管支拡張薬でない
事実9: この綛糸は甘んじる
事実10: あの壊れ物は負ぶさらない
事実11: あの市長さんは気触れであるしさらに負ぶさる
事実12: あの壊れ物は四捨五入する
事実13: もし仮にこの縁切り榎が気管支拡張薬でないとするとこの綛糸は気管支拡張薬でなくてそれは思い始めない
事実14: もしも「「現示しなくて練り合わせる」ということは成り立たない」物があるとしたらこの縁切り榎は気管支拡張薬でない
事実15: あの壊れ物が甘んじないが風力協同組合だとしたら「思い始める」ということは成り立つ
事実16: なんらかのものがスクリプト・データ・イベントだとすると四捨五入する
事実17: もし仮になんらかのものが負ぶさるとするとそれは風力協同組合だ
事実18: もし仮にあの市長さんが現示するとするとそれは気管支拡張薬である

仮説: あの壊れ物は風力協同組合である
1. 事実6から、推論1: "もし仮にあの市長さんは負ぶさるとしたら「現示しないがしかし練り合わせる」ということは成り立たない"が導かれる
2. 事実11から、推論2: "あの市長さんは負ぶさる"が導かれる
3. 推論1と推論2から、推論3: "「「あの市長さんは現示しないけど練り合わせる」ということは成り立つということはない」ということは成り立つ"が導かれる
4. 推論3から、推論4: "「「現示しないし練り合わせる」ということは成り立たない」ものはある"が導かれる
5. 推論4と事実14から、推論5: "この縁切り榎は気管支拡張薬でない"が導かれる
6. 推論5と事実13から、推論6: "この綛糸は気管支拡張薬でなくてまた思い始めない"が導かれる
7. 事実2から、推論7: "もしこの綛糸は気管支拡張薬でないし思い始めないならそれは自動算出する"が導かれる
8. 推論6と推論7から、推論8: "この綛糸は自動算出する"が導かれる
9. 事実9と事実7から、推論9: "この綛糸はスクリプト・データ・イベントである"が導かれる
10. 事実16から、推論10: "もしもこの綛糸がスクリプト・データ・イベントだとするとそれは四捨五入する"が導かれる
11. 推論9と推論10から、推論11: "この綛糸は四捨五入する"が導かれる
12. 推論8と推論11から、推論12: "この綛糸は自動算出するししかも四捨五入する"が導かれる
13. 推論12と事実5から、仮説が否定される

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