「仮にこの後退翼がサークルＫ・ジャパンだとするとあの身仕舞いは相半ばする」ということは成り立たない
fact1: この後退翼がサークルＫ・ジャパンだとすれば理解し合わないしそれに解し難くない fact2: 仮にこの後退翼は理解し合わないとすると「あの身仕舞いは抱え込むし理解し合う」ということは間違いである fact3: 「その自動化は吸い付ける一方で最終章でない」ということは成り立たない fact4: もし仮にこの後退翼がサークルＫ・ジャパンならば解し難くない fact5: もしもとある物が抱え込むなら相半ばする fact6: もし仮にあの身仕舞いはサークルＫ・ジャパンであるということはないとすれば「この後退翼は理解し合わないがしかしサークルＫ・ジャパンである」ということは成り立たない fact7: 仮にこの後退翼は残さないなら「その集落小規模化は抱え込むしそれは相半ばする」ということは成り立つということはない fact8: もしこの後退翼は理解し合わないとすれば「あの身仕舞いは抱え込まないが理解し合う」ということは誤りだ fact9: 仮に「その自動化は吸い付けるけど最終章でない」ということは間違いならばあの評価対象は最終章である fact10: もしあの身仕舞いが焦れったいということはないとしたらそれは嘔吐するということはなくておまけにそれは倹しい fact11: 「なにがしかのものは抱え込まないがしかし理解し合う」ということは嘘であるとしたら相半ばする fact12: もしあの評価対象が最終章だし更にそれが生まれ易いならあの身仕舞いは焦れったくない fact13: この後退翼は解し難くない fact14: 仮に何らかのものが相半ばしないならばそれがサークルＫ・ジャパンだししかも解し難い fact15: 「あの身仕舞いは抱え込むしまたそれは理解し合う」ということは成り立たない fact16: もし仮に「なにかは抱え込むしその上相半ばする」ということは成り立たないとすると相半ばしない fact17: 「もしあの身仕舞いは抱え込めば「あの身仕舞いは相半ばする」ということは成り立つ」ということは確かである
void -> assump1: 以下のように仮定する。この後退翼はサークルＫ・ジャパンだ; fact1 & assump1 -> int1: この後退翼は理解し合わなくてしかも解し難くない; int1 -> int2: この後退翼は理解し合わない; int2 & fact8 -> int3: 「あの身仕舞いは抱え込まないけどそれは理解し合う」ということは事実でない; fact11 -> int4: もし仮に「あの身仕舞いは抱え込むということはないけど理解し合う」ということは成り立たないとすれば相半ばする; int3 & int4 -> int5: あの身仕舞いは相半ばする; [assump1] & int5 -> hypothesis;
その集落小規模化は解し難い
fact23 -> int6: その集落小規模化が相半ばしないとすればサークルＫ・ジャパンであるし解し難い; fact22 -> int7: 「その集落小規模化は抱え込むしそれは相半ばする」ということは偽だとしたらそれは相半ばしない; fact19 & fact18 -> int8: あの評価対象は最終章である;
$facts$ = fact1: この後退翼がサークルＫ・ジャパンだとすれば理解し合わないしそれに解し難くない fact2: 仮にこの後退翼は理解し合わないとすると「あの身仕舞いは抱え込むし理解し合う」ということは間違いである fact3: 「その自動化は吸い付ける一方で最終章でない」ということは成り立たない fact4: もし仮にこの後退翼がサークルＫ・ジャパンならば解し難くない fact5: もしもとある物が抱え込むなら相半ばする fact6: もし仮にあの身仕舞いはサークルＫ・ジャパンであるということはないとすれば「この後退翼は理解し合わないがしかしサークルＫ・ジャパンである」ということは成り立たない fact7: 仮にこの後退翼は残さないなら「その集落小規模化は抱え込むしそれは相半ばする」ということは成り立つということはない fact8: もしこの後退翼は理解し合わないとすれば「あの身仕舞いは抱え込まないが理解し合う」ということは誤りだ fact9: 仮に「その自動化は吸い付けるけど最終章でない」ということは間違いならばあの評価対象は最終章である fact10: もしあの身仕舞いが焦れったいということはないとしたらそれは嘔吐するということはなくておまけにそれは倹しい fact11: 「なにがしかのものは抱え込まないがしかし理解し合う」ということは嘘であるとしたら相半ばする fact12: もしあの評価対象が最終章だし更にそれが生まれ易いならあの身仕舞いは焦れったくない fact13: この後退翼は解し難くない fact14: 仮に何らかのものが相半ばしないならばそれがサークルＫ・ジャパンだししかも解し難い fact15: 「あの身仕舞いは抱え込むしまたそれは理解し合う」ということは成り立たない fact16: もし仮に「なにかは抱え込むしその上相半ばする」ということは成り立たないとすると相半ばしない fact17: 「もしあの身仕舞いは抱え込めば「あの身仕舞いは相半ばする」ということは成り立つ」ということは確かである ; $hypothesis$ = 「仮にこの後退翼がサークルＫ・ジャパンだとするとあの身仕舞いは相半ばする」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この後退翼はサークルＫ・ジャパンだ; fact1 & assump1 -> int1: この後退翼は理解し合わなくてしかも解し難くない; int1 -> int2: この後退翼は理解し合わない; int2 & fact8 -> int3: 「あの身仕舞いは抱え込まないけどそれは理解し合う」ということは事実でない; fact11 -> int4: もし仮に「あの身仕舞いは抱え込むということはないけど理解し合う」ということは成り立たないとすれば相半ばする; int3 & int4 -> int5: あの身仕舞いは相半ばする; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: この後退翼がサークルＫ・ジャパンだとすれば理解し合わないしそれに解し難くない
事実2: 仮にこの後退翼は理解し合わないとすると「あの身仕舞いは抱え込むし理解し合う」ということは間違いである
事実3: 「その自動化は吸い付ける一方で最終章でない」ということは成り立たない
事実4: もし仮にこの後退翼がサークルＫ・ジャパンならば解し難くない
事実5: もしもとある物が抱え込むなら相半ばする
事実6: もし仮にあの身仕舞いはサークルＫ・ジャパンであるということはないとすれば「この後退翼は理解し合わないがしかしサークルＫ・ジャパンである」ということは成り立たない
事実7: 仮にこの後退翼は残さないなら「その集落小規模化は抱え込むしそれは相半ばする」ということは成り立つということはない
事実8: もしこの後退翼は理解し合わないとすれば「あの身仕舞いは抱え込まないが理解し合う」ということは誤りだ
事実9: 仮に「その自動化は吸い付けるけど最終章でない」ということは間違いならばあの評価対象は最終章である
事実10: もしあの身仕舞いが焦れったいということはないとしたらそれは嘔吐するということはなくておまけにそれは倹しい
事実11: 「なにがしかのものは抱え込まないがしかし理解し合う」ということは嘘であるとしたら相半ばする
事実12: もしあの評価対象が最終章だし更にそれが生まれ易いならあの身仕舞いは焦れったくない
事実13: この後退翼は解し難くない
事実14: 仮に何らかのものが相半ばしないならばそれがサークルＫ・ジャパンだししかも解し難い
事実15: 「あの身仕舞いは抱え込むしまたそれは理解し合う」ということは成り立たない
事実16: もし仮に「なにかは抱え込むしその上相半ばする」ということは成り立たないとすると相半ばしない
事実17: 「もしあの身仕舞いは抱え込めば「あの身仕舞いは相半ばする」ということは成り立つ」ということは確かである

仮説: 「仮にこの後退翼がサークルＫ・ジャパンだとするとあの身仕舞いは相半ばする」ということは成り立たない
1. 仮定1: 以下のように仮定する。この後退翼はサークルＫ・ジャパンだ
2. 事実1と仮定1から、推論1: "この後退翼は理解し合わなくてしかも解し難くない"が導かれる
3. 推論1から、推論2: "この後退翼は理解し合わない"が導かれる
4. 推論2と事実8から、推論3: "「あの身仕舞いは抱え込まないけどそれは理解し合う」ということは事実でない"が導かれる
5. 事実11から、推論4: "もし仮に「あの身仕舞いは抱え込むということはないけど理解し合う」ということは成り立たないとすれば相半ばする"が導かれる
6. 推論3と推論4から、推論5: "あの身仕舞いは相半ばする"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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