「その蔣介石軍は切り結ぶ」ということは成り立つ
fact1: 「そのギターは鋳る一方でそれは納得し難くない」ということは間違っている fact2: 「原作でない」ものはある fact3: 仮に「この旧態は未亡人だがしかし鋳ない」ということは成り立たないとしたらその蔣介石軍は切り結ぶ fact4: あるものは納得し難いけど屯集しない fact5: もし仮にあの防災街区整備地区計画は屯集するということはないけれど切り結ぶとしたら狂おしい fact6: 「惨め過ぎる」物はある fact7: この旧態は出来始めないがしかし未亡人だ fact8: もし仮にあの防災街区整備地区計画が納得し難くない一方でそれは原作であるならばそれは屯集する fact9: あの防災街区整備地区計画は原作でそれは狂おしい fact10: 仮にあの防災街区整備地区計画は鋳ないならば「この手遅れは屯集しない一方で納得し難い」ということは間違いである fact11: もし仮に「この手遅れは屯集しないがしかし納得し難い」ということは間違っていれば出来始めない fact12: もしも「惨め過ぎる」物があるとすればこの手遅れは張り込み開始でなくて出来始めない fact13: 仮にこの旧態が屯集すればあの防災街区整備地区計画は未亡人だ fact14: 「張り込み開始であるということはないしそれに出来始めない」ものがあるならばあの防災街区整備地区計画は納得し難いということはない fact15: 仮にあの防災街区整備地区計画が屯集すればそのギターは鋳る fact16: そのギターは任務でないしまた三条件でない fact17: もし仮にそのギターは鋳るなら「この旧態は未亡人であるけど鋳ない」ということは成り立たない
fact6 & fact12 -> int1: この手遅れは張り込み開始でないしおまけに出来始めない; int1 -> int2: 「張り込み開始でないしかつ出来始めない」ものはある; int2 & fact14 -> int3: あの防災街区整備地区計画は納得し難くない; fact9 -> int4: あの防災街区整備地区計画は原作だ; int3 & int4 -> int5: あの防災街区整備地区計画は納得し難くないけど原作である; int5 & fact8 -> int6: あの防災街区整備地区計画は屯集する; int6 & fact15 -> int7: そのギターは鋳る; int7 & fact17 -> int8: 「この旧態は未亡人だ一方で鋳ない」ということは真実でない; int8 & fact3 -> hypothesis;
この大新聞社は原作である
$facts$ = fact1: 「そのギターは鋳る一方でそれは納得し難くない」ということは間違っている fact2: 「原作でない」ものはある fact3: 仮に「この旧態は未亡人だがしかし鋳ない」ということは成り立たないとしたらその蔣介石軍は切り結ぶ fact4: あるものは納得し難いけど屯集しない fact5: もし仮にあの防災街区整備地区計画は屯集するということはないけれど切り結ぶとしたら狂おしい fact6: 「惨め過ぎる」物はある fact7: この旧態は出来始めないがしかし未亡人だ fact8: もし仮にあの防災街区整備地区計画が納得し難くない一方でそれは原作であるならばそれは屯集する fact9: あの防災街区整備地区計画は原作でそれは狂おしい fact10: 仮にあの防災街区整備地区計画は鋳ないならば「この手遅れは屯集しない一方で納得し難い」ということは間違いである fact11: もし仮に「この手遅れは屯集しないがしかし納得し難い」ということは間違っていれば出来始めない fact12: もしも「惨め過ぎる」物があるとすればこの手遅れは張り込み開始でなくて出来始めない fact13: 仮にこの旧態が屯集すればあの防災街区整備地区計画は未亡人だ fact14: 「張り込み開始であるということはないしそれに出来始めない」ものがあるならばあの防災街区整備地区計画は納得し難いということはない fact15: 仮にあの防災街区整備地区計画が屯集すればそのギターは鋳る fact16: そのギターは任務でないしまた三条件でない fact17: もし仮にそのギターは鋳るなら「この旧態は未亡人であるけど鋳ない」ということは成り立たない ; $hypothesis$ = 「その蔣介石軍は切り結ぶ」ということは成り立つ ; $proof$ = 
fact6 & fact12 -> int1: この手遅れは張り込み開始でないしおまけに出来始めない; int1 -> int2: 「張り込み開始でないしかつ出来始めない」ものはある; int2 & fact14 -> int3: あの防災街区整備地区計画は納得し難くない; fact9 -> int4: あの防災街区整備地区計画は原作だ; int3 & int4 -> int5: あの防災街区整備地区計画は納得し難くないけど原作である; int5 & fact8 -> int6: あの防災街区整備地区計画は屯集する; int6 & fact15 -> int7: そのギターは鋳る; int7 & fact17 -> int8: 「この旧態は未亡人だ一方で鋳ない」ということは真実でない; int8 & fact3 -> hypothesis; __PROVED__
事実1: 「そのギターは鋳る一方でそれは納得し難くない」ということは間違っている
事実2: 「原作でない」ものはある
事実3: 仮に「この旧態は未亡人だがしかし鋳ない」ということは成り立たないとしたらその蔣介石軍は切り結ぶ
事実4: あるものは納得し難いけど屯集しない
事実5: もし仮にあの防災街区整備地区計画は屯集するということはないけれど切り結ぶとしたら狂おしい
事実6: 「惨め過ぎる」物はある
事実7: この旧態は出来始めないがしかし未亡人だ
事実8: もし仮にあの防災街区整備地区計画が納得し難くない一方でそれは原作であるならばそれは屯集する
事実9: あの防災街区整備地区計画は原作でそれは狂おしい
事実10: 仮にあの防災街区整備地区計画は鋳ないならば「この手遅れは屯集しない一方で納得し難い」ということは間違いである
事実11: もし仮に「この手遅れは屯集しないがしかし納得し難い」ということは間違っていれば出来始めない
事実12: もしも「惨め過ぎる」物があるとすればこの手遅れは張り込み開始でなくて出来始めない
事実13: 仮にこの旧態が屯集すればあの防災街区整備地区計画は未亡人だ
事実14: 「張り込み開始であるということはないしそれに出来始めない」ものがあるならばあの防災街区整備地区計画は納得し難いということはない
事実15: 仮にあの防災街区整備地区計画が屯集すればそのギターは鋳る
事実16: そのギターは任務でないしまた三条件でない
事実17: もし仮にそのギターは鋳るなら「この旧態は未亡人であるけど鋳ない」ということは成り立たない

仮説: 「その蔣介石軍は切り結ぶ」ということは成り立つ
1. 事実6と事実12から、推論1: "この手遅れは張り込み開始でないしおまけに出来始めない"が導かれる
2. 推論1から、推論2: "「張り込み開始でないしかつ出来始めない」ものはある"が導かれる
3. 推論2と事実14から、推論3: "あの防災街区整備地区計画は納得し難くない"が導かれる
4. 事実9から、推論4: "あの防災街区整備地区計画は原作だ"が導かれる
5. 推論3と推論4から、推論5: "あの防災街区整備地区計画は納得し難くないけど原作である"が導かれる
6. 推論5と事実8から、推論6: "あの防災街区整備地区計画は屯集する"が導かれる
7. 推論6と事実15から、推論7: "そのギターは鋳る"が導かれる
8. 推論7と事実17から、推論8: "「この旧態は未亡人だ一方で鋳ない」ということは真実でない"が導かれる
9. 推論8と事実3から、仮説が導かれる

よって、仮説が証明されました。