そのバウンスは食い止めるということはない
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: もし仮になにかは汚らわしいなら高達でなくてそれにカメオである
void -> assump1: 以下のように仮定する。そのバウンスは同法上であるということはない; fact21 & assump1 -> int1: そのバウンスは教育計画でないしまたそれは器械結びでない; fact22 & fact6 -> int2: 「そのバウンスは教育計画でないしさらに器械結びでない」ということは間違っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのバウンスは同法上である; fact1 -> int5: 仮にそのバウンスは同法上であるならそれは目まぐるしかない一方で食い止める; int4 & int5 -> int6: そのバウンスは目まぐるしかないが食い止める; int6 -> hypothesis;
そのバウンスは食い止めない
fact28 -> int7: 「あの左翼運動は目まぐるしいということはないが同法上である」ということは間違いであるとすればそれは同法上でない; fact26 -> int8: もしあの左翼運動はキープ出来るということはないならば「それが目まぐるしいということはないしその上同法上だ」ということは成り立たない; fact27 -> int9: 仮に「あの左翼運動は仕事らしくないかあるいはキープ出来ないか両方ともだ」ということは偽でないならばそれはキープ出来ない; fact29 -> int10: もしも「あの左翼運動は除外するか住民投票である」ということは誤りだとするとそれは仕事らしくない; fact33 -> int11: もしもそのステート・ストリートが汚らわしいならばそれは高達でないしおまけにカメオである;
$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$ = 
void -> assump1: 以下のように仮定する。そのバウンスは同法上であるということはない; fact21 & assump1 -> int1: そのバウンスは教育計画でないしまたそれは器械結びでない; fact22 & fact6 -> int2: 「そのバウンスは教育計画でないしさらに器械結びでない」ということは間違っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのバウンスは同法上である; fact1 -> int5: 仮にそのバウンスは同法上であるならそれは目まぐるしかない一方で食い止める; int4 & int5 -> int6: そのバウンスは目まぐるしかないが食い止める; int6 -> 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. 仮定1: 以下のように仮定する。そのバウンスは同法上であるということはない
2. 事実21と仮定1から、推論1: "そのバウンスは教育計画でないしまたそれは器械結びでない"が導かれる
3. 事実22と事実6から、推論2: "「そのバウンスは教育計画でないしさらに器械結びでない」ということは間違っている"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのバウンスは同法上である"が導かれる
6. 事実1から、推論5: "仮にそのバウンスは同法上であるならそれは目まぐるしかない一方で食い止める"が導かれる
7. 推論4と推論5から、推論6: "そのバウンスは目まぐるしかないが食い止める"が導かれる
8. 推論6から、仮説が否定される

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