この機械館は頑張り続ける
fact1: もし仮にこの機械館は口惜しいということはないならば「それは酔い易いしそれに修築する」ということは成り立たない fact2: 仮にあの命運が伝え易いということはないならそれは解明出来ない fact3: もし仮にこの転入生は輝かしくないならば「この機械館は頑張り続けるということはないけれど輝かしい」ということは嘘である fact4: 発症し易くない物は収益獲得能力でない fact5: そのニヒリズムは作業し易くない fact6: 仮に「なんらかのものは輝かしくないし修築しない」ということは間違いだとするとそれは口惜しくない fact7: この転入生は伝え易くない fact8: もしこの転入生が酔い易いとしたら修築しない fact9: 「あのアクセス制限は修築しない」ということは成り立つ fact10: もしも何らかのものが修築しないなら集団規範であるし評する fact11: もしもこのＹＳはきつくないなら「頑張り続けない」ということは成り立つ fact12: あの境界点は修築しないならば「この転入生は輝かしいということはないしそれに修築しない」ということは事実と異なる fact13: 「あの境界点は口惜しくてまたそれは発症し易い」ということは成り立つということはない fact14: もし仮にあの境界点が口惜しくないが伝え易いとしたらこの機械館は口惜しくない fact15: もし「あの境界点は中立国でないけどそれは結び付き難い」ということは偽であるなら修築しない fact16: 「あの境界点は修築するということはないしまたそれは輝かしくない」ということは偽だ fact17: もしも何らかのものが中立国でないけどそれが結び付き難いとしたらこの機械館は酔い易くない fact18: この転入生が輝かしくないとしたら酔い易い fact19: もし仮にこの転入生が伝え易くないなら口惜しくてかつ恵み深い fact20: もしそのニヒリズムが作業し易くないとすればそれは脅迫するかもしくは恵み深くないかまたは両方である fact21: 「酔い易いということはないものは頑張り続けない」ということは成り立つ fact22: もし仮に「何らかのものは酔い易いし修築する」ということは本当でないとするとそれは修築するということはない fact23: もしもこの転入生が伝え易くないとすればそれは恵み深い
void -> assump1: 以下のように仮定する。「あの境界点は中立国でないがしかし結び付き難い」ということは間違っている; fact15 & assump1 -> int1: あの境界点は修築するということはない; int1 & fact12 -> int2: 「この転入生は輝かしくないしそれは修築しない」ということは成り立たない; fact6 -> int3: もし仮に「この転入生は輝かしくないしそれにそれは修築しない」ということは間違っているとすれば口惜しくない; int2 & int3 -> int4: この転入生は口惜しくない; fact19 & fact7 -> int5: この転入生は口惜しくて恵み深い; int5 -> int6: この転入生は口惜しい; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの境界点は中立国でないけれどそれは結び付き難い; int8 -> int9: 「中立国であるということはないしさらに結び付き難い」ものはある; int9 & fact17 -> int10: この機械館は酔い易いということはない; fact21 -> int11: 「この機械館は酔い易くない」ということは成り立つとすれば頑張り続けない; int10 & int11 -> hypothesis;
もし仮にあのＨＬＡが修築しないとするとそれは集団規範でしかもそれは評する
fact24 -> hypothesis;
$facts$ = fact1: もし仮にこの機械館は口惜しいということはないならば「それは酔い易いしそれに修築する」ということは成り立たない fact2: 仮にあの命運が伝え易いということはないならそれは解明出来ない fact3: もし仮にこの転入生は輝かしくないならば「この機械館は頑張り続けるということはないけれど輝かしい」ということは嘘である fact4: 発症し易くない物は収益獲得能力でない fact5: そのニヒリズムは作業し易くない fact6: 仮に「なんらかのものは輝かしくないし修築しない」ということは間違いだとするとそれは口惜しくない fact7: この転入生は伝え易くない fact8: もしこの転入生が酔い易いとしたら修築しない fact9: 「あのアクセス制限は修築しない」ということは成り立つ fact10: もしも何らかのものが修築しないなら集団規範であるし評する fact11: もしもこのＹＳはきつくないなら「頑張り続けない」ということは成り立つ fact12: あの境界点は修築しないならば「この転入生は輝かしいということはないしそれに修築しない」ということは事実と異なる fact13: 「あの境界点は口惜しくてまたそれは発症し易い」ということは成り立つということはない fact14: もし仮にあの境界点が口惜しくないが伝え易いとしたらこの機械館は口惜しくない fact15: もし「あの境界点は中立国でないけどそれは結び付き難い」ということは偽であるなら修築しない fact16: 「あの境界点は修築するということはないしまたそれは輝かしくない」ということは偽だ fact17: もしも何らかのものが中立国でないけどそれが結び付き難いとしたらこの機械館は酔い易くない fact18: この転入生が輝かしくないとしたら酔い易い fact19: もし仮にこの転入生が伝え易くないなら口惜しくてかつ恵み深い fact20: もしそのニヒリズムが作業し易くないとすればそれは脅迫するかもしくは恵み深くないかまたは両方である fact21: 「酔い易いということはないものは頑張り続けない」ということは成り立つ fact22: もし仮に「何らかのものは酔い易いし修築する」ということは本当でないとするとそれは修築するということはない fact23: もしもこの転入生が伝え易くないとすればそれは恵み深い ; $hypothesis$ = この機械館は頑張り続ける ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの境界点は中立国でないがしかし結び付き難い」ということは間違っている; fact15 & assump1 -> int1: あの境界点は修築するということはない; int1 & fact12 -> int2: 「この転入生は輝かしくないしそれは修築しない」ということは成り立たない; fact6 -> int3: もし仮に「この転入生は輝かしくないしそれにそれは修築しない」ということは間違っているとすれば口惜しくない; int2 & int3 -> int4: この転入生は口惜しくない; fact19 & fact7 -> int5: この転入生は口惜しくて恵み深い; int5 -> int6: この転入生は口惜しい; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの境界点は中立国でないけれどそれは結び付き難い; int8 -> int9: 「中立国であるということはないしさらに結び付き難い」ものはある; int9 & fact17 -> int10: この機械館は酔い易いということはない; fact21 -> int11: 「この機械館は酔い易くない」ということは成り立つとすれば頑張り続けない; int10 & int11 -> 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: もしもこの転入生が伝え易くないとすればそれは恵み深い

仮説: この機械館は頑張り続ける
1. 仮定1: 以下のように仮定する。「あの境界点は中立国でないがしかし結び付き難い」ということは間違っている
2. 事実15と仮定1から、推論1: "あの境界点は修築するということはない"が導かれる
3. 推論1と事実12から、推論2: "「この転入生は輝かしくないしそれは修築しない」ということは成り立たない"が導かれる
4. 事実6から、推論3: "もし仮に「この転入生は輝かしくないしそれにそれは修築しない」ということは間違っているとすれば口惜しくない"が導かれる
5. 推論2と推論3から、推論4: "この転入生は口惜しくない"が導かれる
6. 事実19と事実7から、推論5: "この転入生は口惜しくて恵み深い"が導かれる
7. 推論5から、推論6: "この転入生は口惜しい"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの境界点は中立国でないけれどそれは結び付き難い"が導かれる
10. 推論8から、推論9: "「中立国であるということはないしさらに結び付き難い」ものはある"が導かれる
11. 推論9と事実17から、推論10: "この機械館は酔い易いということはない"が導かれる
12. 事実21から、推論11: "「この機械館は酔い易くない」ということは成り立つとすれば頑張り続けない"が導かれる
13. 推論10と推論11から、仮説が否定される

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