この県西部は空襲しない
fact1: もしもこの郡制が私立幼稚園でないが空襲するならこの県西部は私立幼稚園だ fact2: もし仮に「弱くない」ものはあるとすると「そのＴ二グラムバンドは子供らしくないしまた仕方無くない」ということは成り立たない fact3: もしもあの凄腕が注進だとしたらそのロシア正教は見せては成らないししかも引き攣らない fact4: 「あの開腹はごみごみしなくて加えてそれは共鳴し易くない」ということは偽であるとするとこの県西部は空襲しない fact5: もしもなにがしかのものが全滅するならそれは面映ゆい fact6: もし仮にあの警棒が面映ゆいならばこの郡制は共鳴し易い fact7: 仮にこの県西部は私立幼稚園であるなら「あの開腹は仕方無くないかごみごみしない」ということは間違いである fact8: その切り替え作業は私立幼稚園である fact9: もしもそのロシア正教は見せては成るということはないし加えて引き攣らないならば「あの警棒は全滅する」ということは本当だ fact10: もし仮にあの倒木は痛ーくないならば「それは世知辛くないが溜まり易い」ということは成り立たない fact11: もし「そのＴ二グラムバンドは子供らしくないし更にそれは仕方無いということはない」ということは誤りであるとしたらその切り替え作業は唾する fact12: 弱くない物はある fact13: その切り替え作業が唾するしそれがごみごみするとしたらそれは私立幼稚園でない fact14: 「共鳴し易い物は私立幼稚園であるということはないけど空襲する」ということは正しい fact15: もしも「とある物は仕方無くないかまたはごみごみするということはないかどちらもだ」ということは成り立たないとするとそれは弱い fact16: もしも「「その切り替え作業はごみごみしなくて共鳴し易くない」ということは確かである」ということは成り立たないならあの開腹は子供らしい fact17: もしも「あの倒木は世知辛くない一方で溜まり易い」ということは誤っているならばあの翌日は世知辛い fact18: もし仮にあの開腹が弱いとしたらその切り替え作業は子供らしくないかそれは唾しないかもしくは両方ともである fact19: 仮にその切り替え作業が子供らしいということはないとするとそのＴ二グラムバンドは唾しない fact20: あの倒木は痛ーくない fact21: もしもその切り替え作業はごみごみしないとすると「あの開腹はごみごみしないし共鳴し易いということはない」ということは嘘である
fact12 & fact2 -> int1: 「「そのＴ二グラムバンドは子供らしくないしまた仕方無くない」ということは成り立たない」ということは成り立つ; int1 & fact11 -> int2: その切り替え作業は唾する; void -> assump1: 以下のように仮定する。その切り替え作業はごみごみする; int2 & assump1 -> int3: その切り替え作業は唾するしごみごみする; int3 & fact13 -> int4: その切り替え作業は私立幼稚園だということはない; int4 & fact8 -> int5: これは矛盾である; [assump1] & int5 -> int6: その切り替え作業はごみごみしない; int6 & fact21 -> int7: 「あの開腹はごみごみしなくて加えて共鳴し易くない」ということは成り立たない; int7 & fact4 -> hypothesis;
そのＴ二グラムバンドは唾しない
fact32 -> int8: 「あの開腹は仕方無いということはないかごみごみしないかもしくは両方ともだ」ということは成り立たないとすると弱い; fact23 -> int9: この郡制が共鳴し易いとしたらそれは私立幼稚園でないしそれは空襲する; fact30 -> int10: 「「あの警棒は全滅する」ということは本当であるとしたらあの警棒は面映ゆい」ということは成り立つ; fact27 & fact24 -> int11: 「あの倒木は世知辛くないけれど溜まり易い」ということは成り立たない; fact26 & int11 -> int12: その翌日は世知辛い; int12 -> int13: 「世知辛い」物はある;
$facts$ = fact1: もしもこの郡制が私立幼稚園でないが空襲するならこの県西部は私立幼稚園だ fact2: もし仮に「弱くない」ものはあるとすると「そのＴ二グラムバンドは子供らしくないしまた仕方無くない」ということは成り立たない fact3: もしもあの凄腕が注進だとしたらそのロシア正教は見せては成らないししかも引き攣らない fact4: 「あの開腹はごみごみしなくて加えてそれは共鳴し易くない」ということは偽であるとするとこの県西部は空襲しない fact5: もしもなにがしかのものが全滅するならそれは面映ゆい fact6: もし仮にあの警棒が面映ゆいならばこの郡制は共鳴し易い fact7: 仮にこの県西部は私立幼稚園であるなら「あの開腹は仕方無くないかごみごみしない」ということは間違いである fact8: その切り替え作業は私立幼稚園である fact9: もしもそのロシア正教は見せては成るということはないし加えて引き攣らないならば「あの警棒は全滅する」ということは本当だ fact10: もし仮にあの倒木は痛ーくないならば「それは世知辛くないが溜まり易い」ということは成り立たない fact11: もし「そのＴ二グラムバンドは子供らしくないし更にそれは仕方無いということはない」ということは誤りであるとしたらその切り替え作業は唾する fact12: 弱くない物はある fact13: その切り替え作業が唾するしそれがごみごみするとしたらそれは私立幼稚園でない fact14: 「共鳴し易い物は私立幼稚園であるということはないけど空襲する」ということは正しい fact15: もしも「とある物は仕方無くないかまたはごみごみするということはないかどちらもだ」ということは成り立たないとするとそれは弱い fact16: もしも「「その切り替え作業はごみごみしなくて共鳴し易くない」ということは確かである」ということは成り立たないならあの開腹は子供らしい fact17: もしも「あの倒木は世知辛くない一方で溜まり易い」ということは誤っているならばあの翌日は世知辛い fact18: もし仮にあの開腹が弱いとしたらその切り替え作業は子供らしくないかそれは唾しないかもしくは両方ともである fact19: 仮にその切り替え作業が子供らしいということはないとするとそのＴ二グラムバンドは唾しない fact20: あの倒木は痛ーくない fact21: もしもその切り替え作業はごみごみしないとすると「あの開腹はごみごみしないし共鳴し易いということはない」ということは嘘である ; $hypothesis$ = この県西部は空襲しない ; $proof$ = 
fact12 & fact2 -> int1: 「「そのＴ二グラムバンドは子供らしくないしまた仕方無くない」ということは成り立たない」ということは成り立つ; int1 & fact11 -> int2: その切り替え作業は唾する; void -> assump1: 以下のように仮定する。その切り替え作業はごみごみする; int2 & assump1 -> int3: その切り替え作業は唾するしごみごみする; int3 & fact13 -> int4: その切り替え作業は私立幼稚園だということはない; int4 & fact8 -> int5: これは矛盾である; [assump1] & int5 -> int6: その切り替え作業はごみごみしない; int6 & fact21 -> int7: 「あの開腹はごみごみしなくて加えて共鳴し易くない」ということは成り立たない; int7 & fact4 -> hypothesis; __PROVED__
事実1: もしもこの郡制が私立幼稚園でないが空襲するならこの県西部は私立幼稚園だ
事実2: もし仮に「弱くない」ものはあるとすると「そのＴ二グラムバンドは子供らしくないしまた仕方無くない」ということは成り立たない
事実3: もしもあの凄腕が注進だとしたらそのロシア正教は見せては成らないししかも引き攣らない
事実4: 「あの開腹はごみごみしなくて加えてそれは共鳴し易くない」ということは偽であるとするとこの県西部は空襲しない
事実5: もしもなにがしかのものが全滅するならそれは面映ゆい
事実6: もし仮にあの警棒が面映ゆいならばこの郡制は共鳴し易い
事実7: 仮にこの県西部は私立幼稚園であるなら「あの開腹は仕方無くないかごみごみしない」ということは間違いである
事実8: その切り替え作業は私立幼稚園である
事実9: もしもそのロシア正教は見せては成るということはないし加えて引き攣らないならば「あの警棒は全滅する」ということは本当だ
事実10: もし仮にあの倒木は痛ーくないならば「それは世知辛くないが溜まり易い」ということは成り立たない
事実11: もし「そのＴ二グラムバンドは子供らしくないし更にそれは仕方無いということはない」ということは誤りであるとしたらその切り替え作業は唾する
事実12: 弱くない物はある
事実13: その切り替え作業が唾するしそれがごみごみするとしたらそれは私立幼稚園でない
事実14: 「共鳴し易い物は私立幼稚園であるということはないけど空襲する」ということは正しい
事実15: もしも「とある物は仕方無くないかまたはごみごみするということはないかどちらもだ」ということは成り立たないとするとそれは弱い
事実16: もしも「「その切り替え作業はごみごみしなくて共鳴し易くない」ということは確かである」ということは成り立たないならあの開腹は子供らしい
事実17: もしも「あの倒木は世知辛くない一方で溜まり易い」ということは誤っているならばあの翌日は世知辛い
事実18: もし仮にあの開腹が弱いとしたらその切り替え作業は子供らしくないかそれは唾しないかもしくは両方ともである
事実19: 仮にその切り替え作業が子供らしいということはないとするとそのＴ二グラムバンドは唾しない
事実20: あの倒木は痛ーくない
事実21: もしもその切り替え作業はごみごみしないとすると「あの開腹はごみごみしないし共鳴し易いということはない」ということは嘘である

仮説: この県西部は空襲しない
1. 事実12と事実2から、推論1: "「「そのＴ二グラムバンドは子供らしくないしまた仕方無くない」ということは成り立たない」ということは成り立つ"が導かれる
2. 推論1と事実11から、推論2: "その切り替え作業は唾する"が導かれる
3. 仮定1: 以下のように仮定する。その切り替え作業はごみごみする
4. 推論2と仮定1から、推論3: "その切り替え作業は唾するしごみごみする"が導かれる
5. 推論3と事実13から、推論4: "その切り替え作業は私立幼稚園だということはない"が導かれる
6. 推論4と事実8から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その切り替え作業はごみごみしない"が導かれる
8. 推論6と事実21から、推論7: "「あの開腹はごみごみしなくて加えて共鳴し易くない」ということは成り立たない"が導かれる
9. 推論7と事実4から、仮説が導かれる

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