その西中佐は起こり兼ねる
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: 以下のように仮定する。その西中佐は係留する; fact24 & assump1 -> int1: その西中佐は二次被覆するしそれは係留する; fact15 -> int2: 仮にその西中佐は二次被覆するし更に係留するとすれば「御忙しくない」ということは成り立つ; int1 & int2 -> int3: その西中佐は御忙しくない; int3 & fact19 -> int4: この学校長は各Ｗでない; int4 & fact1 -> int5: あの日本型経営は各Ｗでないがしかし補助する; fact13 -> int6: もし仮にあの日本型経営が各Ｗだということはないが補助するとするとそれは競技しない; int5 & int6 -> int7: あの日本型経営は競技しない; fact6 & fact9 -> int8: あの日本型経営が競技するしその上疑わし; int8 -> int9: あの日本型経営は競技する; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その西中佐は係留しない; fact14 -> int12: もし仮にその西中佐が係留するということはないとしたらそれは起こり兼ねない; int11 & int12 -> hypothesis;
その西中佐は起こり兼ねる
fact28 -> int13: もし仮に「その西中佐は係留しないけれど二次被覆する」ということは成り立たないならば起こり兼ねる;
$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: 以下のように仮定する。その西中佐は係留する; fact24 & assump1 -> int1: その西中佐は二次被覆するしそれは係留する; fact15 -> int2: 仮にその西中佐は二次被覆するし更に係留するとすれば「御忙しくない」ということは成り立つ; int1 & int2 -> int3: その西中佐は御忙しくない; int3 & fact19 -> int4: この学校長は各Ｗでない; int4 & fact1 -> int5: あの日本型経営は各Ｗでないがしかし補助する; fact13 -> int6: もし仮にあの日本型経営が各Ｗだということはないが補助するとするとそれは競技しない; int5 & int6 -> int7: あの日本型経営は競技しない; fact6 & fact9 -> int8: あの日本型経営が競技するしその上疑わし; int8 -> int9: あの日本型経営は競技する; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その西中佐は係留しない; fact14 -> int12: もし仮にその西中佐が係留するということはないとしたらそれは起こり兼ねない; int11 & int12 -> 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. 事実24と仮定1から、推論1: "その西中佐は二次被覆するしそれは係留する"が導かれる
3. 事実15から、推論2: "仮にその西中佐は二次被覆するし更に係留するとすれば「御忙しくない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "その西中佐は御忙しくない"が導かれる
5. 推論3と事実19から、推論4: "この学校長は各Ｗでない"が導かれる
6. 推論4と事実1から、推論5: "あの日本型経営は各Ｗでないがしかし補助する"が導かれる
7. 事実13から、推論6: "もし仮にあの日本型経営が各Ｗだということはないが補助するとするとそれは競技しない"が導かれる
8. 推論5と推論6から、推論7: "あの日本型経営は競技しない"が導かれる
9. 事実6と事実9から、推論8: "あの日本型経営が競技するしその上疑わし"が導かれる
10. 推論8から、推論9: "あの日本型経営は競技する"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "その西中佐は係留しない"が導かれる
13. 事実14から、推論12: "もし仮にその西中佐が係留するということはないとしたらそれは起こり兼ねない"が導かれる
14. 推論11と推論12から、仮説が否定される

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