その長期債務は珍しかない
fact1: この年金積立金は大爆発するとすると「この光学ドライブは捻り上げるけれどそれは大爆発するということはない」ということは確かでない fact2: 「もしこの光学ドライブが市町村合併特例法だとしたらその長期債務は珍しい」ということは成り立つ fact3: この肘は捕らわれ過ぎる fact4: 仮にその長期債務が砂漠地帯であるならこの肘は珍しい fact5: もしその二十四時間態勢が意味深いとしたらその長期債務は意味深くない fact6: もしなにかは捻り上げないなら「打ち消す」ということは成り立つ fact7: もし仮に「ある物は捻り上げるがそれは大爆発しない」ということは成り立つということはないとすると「打ち消す」ということは成り立つ fact8: もしある物が打ち消すならそれは市町村合併特例法である fact9: もし「その二十四時間態勢は意味深くない」ということは成り立つとしたらこの肘は捕らわれ過ぎるし加えて砂漠地帯だ fact10: この肘は卑しくない fact11: 「この肘は打ち消す」ということは嘘でないとするとこの光学ドライブは捕らわれ過ぎる fact12: 仮に「何かは捻り上げるということはないけれど大爆発する」ということは間違いだとしたら意味深い fact13: 意味深くないものは珍しかない fact14: もし仮に「「この肘は砂漠地帯だけど捻り上げない」ということは嘘でない」ということは成り立たないなら捕らわれ過ぎる fact15: その二十四時間態勢は意味深くない fact16: 仮にその二十四時間態勢が意味深くないとすればあの肘は捕らわれ過ぎる fact17: この肘は眩し過ぎる fact18: その長期債務が捕らわれ過ぎるとするとそれは珍しい fact19: 仮にこの肘が大爆発しないとすればこの光学ドライブは市町村合併特例法であるし砂漠地帯である fact20: なにがしかのものは眩し過ぎるけど卑しくないならば「それは取り結ばない」ということは間違っているということはない fact21: もしこの光学ドライブが捻り上げないならそれは打ち消す fact22: あるものは打ち消さないとすれば「捻り上げないけれど大爆発する」ということは誤りだ fact23: もしも「この肘は砂漠地帯である」ということは確かだとすればこの年金積立金は大爆発する
fact9 & fact15 -> int1: この肘は捕らわれ過ぎるしそれは砂漠地帯だ; int1 -> int2: この肘は砂漠地帯だ; int2 & fact23 -> int3: この年金積立金は大爆発する; int3 & fact1 -> int4: 「この光学ドライブは捻り上げる一方でそれは大爆発しない」ということは事実と異なる; fact7 -> int5: 仮に「この光学ドライブは捻り上げるが大爆発しない」ということは誤りならばそれは打ち消す; int4 & int5 -> int6: この光学ドライブは打ち消す; fact8 -> int7: この光学ドライブが打ち消せば市町村合併特例法だ; int6 & int7 -> int8: 「この光学ドライブは市町村合併特例法である」ということは嘘でない; int8 & fact2 -> hypothesis;
その長期債務は珍しかない
fact25 -> int9: 仮にその長期債務は意味深いということはないとすると「珍しいということはない」ということは確かだ; fact27 -> int10: もし「その二十四時間態勢は捻り上げないがしかしそれは大爆発する」ということは誤っているとしたら意味深い; fact28 -> int11: もしもその二十四時間態勢は打ち消さないとすれば「捻り上げないけれど大爆発する」ということは誤っている; fact29 -> int12: 仮にこの肘は眩し過ぎるけど卑しくないとすればそれは取り結ぶということはない; fact26 & fact24 -> int13: この肘は眩し過ぎるけど卑しくない; int12 & int13 -> int14: この肘は取り結ばない; int14 -> int15: とある物は取り結ばない;
$facts$ = fact1: この年金積立金は大爆発するとすると「この光学ドライブは捻り上げるけれどそれは大爆発するということはない」ということは確かでない fact2: 「もしこの光学ドライブが市町村合併特例法だとしたらその長期債務は珍しい」ということは成り立つ fact3: この肘は捕らわれ過ぎる fact4: 仮にその長期債務が砂漠地帯であるならこの肘は珍しい fact5: もしその二十四時間態勢が意味深いとしたらその長期債務は意味深くない fact6: もしなにかは捻り上げないなら「打ち消す」ということは成り立つ fact7: もし仮に「ある物は捻り上げるがそれは大爆発しない」ということは成り立つということはないとすると「打ち消す」ということは成り立つ fact8: もしある物が打ち消すならそれは市町村合併特例法である fact9: もし「その二十四時間態勢は意味深くない」ということは成り立つとしたらこの肘は捕らわれ過ぎるし加えて砂漠地帯だ fact10: この肘は卑しくない fact11: 「この肘は打ち消す」ということは嘘でないとするとこの光学ドライブは捕らわれ過ぎる fact12: 仮に「何かは捻り上げるということはないけれど大爆発する」ということは間違いだとしたら意味深い fact13: 意味深くないものは珍しかない fact14: もし仮に「「この肘は砂漠地帯だけど捻り上げない」ということは嘘でない」ということは成り立たないなら捕らわれ過ぎる fact15: その二十四時間態勢は意味深くない fact16: 仮にその二十四時間態勢が意味深くないとすればあの肘は捕らわれ過ぎる fact17: この肘は眩し過ぎる fact18: その長期債務が捕らわれ過ぎるとするとそれは珍しい fact19: 仮にこの肘が大爆発しないとすればこの光学ドライブは市町村合併特例法であるし砂漠地帯である fact20: なにがしかのものは眩し過ぎるけど卑しくないならば「それは取り結ばない」ということは間違っているということはない fact21: もしこの光学ドライブが捻り上げないならそれは打ち消す fact22: あるものは打ち消さないとすれば「捻り上げないけれど大爆発する」ということは誤りだ fact23: もしも「この肘は砂漠地帯である」ということは確かだとすればこの年金積立金は大爆発する ; $hypothesis$ = その長期債務は珍しかない ; $proof$ = 
fact9 & fact15 -> int1: この肘は捕らわれ過ぎるしそれは砂漠地帯だ; int1 -> int2: この肘は砂漠地帯だ; int2 & fact23 -> int3: この年金積立金は大爆発する; int3 & fact1 -> int4: 「この光学ドライブは捻り上げる一方でそれは大爆発しない」ということは事実と異なる; fact7 -> int5: 仮に「この光学ドライブは捻り上げるが大爆発しない」ということは誤りならばそれは打ち消す; int4 & int5 -> int6: この光学ドライブは打ち消す; fact8 -> int7: この光学ドライブが打ち消せば市町村合併特例法だ; int6 & int7 -> int8: 「この光学ドライブは市町村合併特例法である」ということは嘘でない; int8 & fact2 -> 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: もしも「この肘は砂漠地帯である」ということは確かだとすればこの年金積立金は大爆発する

仮説: その長期債務は珍しかない
1. 事実9と事実15から、推論1: "この肘は捕らわれ過ぎるしそれは砂漠地帯だ"が導かれる
2. 推論1から、推論2: "この肘は砂漠地帯だ"が導かれる
3. 推論2と事実23から、推論3: "この年金積立金は大爆発する"が導かれる
4. 推論3と事実1から、推論4: "「この光学ドライブは捻り上げる一方でそれは大爆発しない」ということは事実と異なる"が導かれる
5. 事実7から、推論5: "仮に「この光学ドライブは捻り上げるが大爆発しない」ということは誤りならばそれは打ち消す"が導かれる
6. 推論4と推論5から、推論6: "この光学ドライブは打ち消す"が導かれる
7. 事実8から、推論7: "この光学ドライブが打ち消せば市町村合併特例法だ"が導かれる
8. 推論6と推論7から、推論8: "「この光学ドライブは市町村合併特例法である」ということは嘘でない"が導かれる
9. 推論8と事実2から、仮説が否定される

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