あの日本交通は御休みしないけど試行錯誤する
fact1: 仮にそのポスト産業主義社会は御休みするとすれば「あの日本交通は御休みするしかつ試行錯誤する」ということは成り立たない fact2: 「あの日本交通は御休みするし加えて試行錯誤する」ということは間違っている fact3: そのポスト産業主義社会は動的人物画でない fact4: もし仮にそのポスト産業主義社会が全世界であるしその上それが動的人物画ならそれは御休みする fact5: もしこの拘束時間が回収機であるとすればあのポスト産業主義社会は全世界であるが動的人物画でない fact6: もしもこの拘束時間は回収機でないとしたら揺るぎない fact7: この拘束時間は揺るぎなくない fact8: 仮にそのポスト産業主義社会は御休みするとすると「あの日本交通は御休みしないけど試行錯誤する」ということは成り立たない fact9: もしそのポスト産業主義社会は全世界だけど動的人物画でないとしたらそれは御休みする fact10: 回収機は御休みしないが試行錯誤する
void -> assump1: 以下のように仮定する。この拘束時間は回収機であるということはない; fact6 & assump1 -> int1: この拘束時間は揺るぎない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: この拘束時間は回収機である; int3 & fact5 -> int4: そのポスト産業主義社会は全世界だが動的人物画でない; int4 & fact9 -> int5: そのポスト産業主義社会は御休みする; int5 & fact8 -> hypothesis;
あの日本交通は御休みしないけどそれは試行錯誤する
fact11 -> int6: もしあの日本交通は回収機であるならばそれは御休みしないけれど試行錯誤する;
$facts$ = fact1: 仮にそのポスト産業主義社会は御休みするとすれば「あの日本交通は御休みするしかつ試行錯誤する」ということは成り立たない fact2: 「あの日本交通は御休みするし加えて試行錯誤する」ということは間違っている fact3: そのポスト産業主義社会は動的人物画でない fact4: もし仮にそのポスト産業主義社会が全世界であるしその上それが動的人物画ならそれは御休みする fact5: もしこの拘束時間が回収機であるとすればあのポスト産業主義社会は全世界であるが動的人物画でない fact6: もしもこの拘束時間は回収機でないとしたら揺るぎない fact7: この拘束時間は揺るぎなくない fact8: 仮にそのポスト産業主義社会は御休みするとすると「あの日本交通は御休みしないけど試行錯誤する」ということは成り立たない fact9: もしそのポスト産業主義社会は全世界だけど動的人物画でないとしたらそれは御休みする fact10: 回収機は御休みしないが試行錯誤する ; $hypothesis$ = あの日本交通は御休みしないけど試行錯誤する ; $proof$ = 
void -> assump1: 以下のように仮定する。この拘束時間は回収機であるということはない; fact6 & assump1 -> int1: この拘束時間は揺るぎない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: この拘束時間は回収機である; int3 & fact5 -> int4: そのポスト産業主義社会は全世界だが動的人物画でない; int4 & fact9 -> int5: そのポスト産業主義社会は御休みする; int5 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮にそのポスト産業主義社会は御休みするとすれば「あの日本交通は御休みするしかつ試行錯誤する」ということは成り立たない
事実2: 「あの日本交通は御休みするし加えて試行錯誤する」ということは間違っている
事実3: そのポスト産業主義社会は動的人物画でない
事実4: もし仮にそのポスト産業主義社会が全世界であるしその上それが動的人物画ならそれは御休みする
事実5: もしこの拘束時間が回収機であるとすればあのポスト産業主義社会は全世界であるが動的人物画でない
事実6: もしもこの拘束時間は回収機でないとしたら揺るぎない
事実7: この拘束時間は揺るぎなくない
事実8: 仮にそのポスト産業主義社会は御休みするとすると「あの日本交通は御休みしないけど試行錯誤する」ということは成り立たない
事実9: もしそのポスト産業主義社会は全世界だけど動的人物画でないとしたらそれは御休みする
事実10: 回収機は御休みしないが試行錯誤する

仮説: あの日本交通は御休みしないけど試行錯誤する
1. 仮定1: 以下のように仮定する。この拘束時間は回収機であるということはない
2. 事実6と仮定1から、推論1: "この拘束時間は揺るぎない"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この拘束時間は回収機である"が導かれる
5. 推論3と事実5から、推論4: "そのポスト産業主義社会は全世界だが動的人物画でない"が導かれる
6. 推論4と事実9から、推論5: "そのポスト産業主義社会は御休みする"が導かれる
7. 推論5と事実8から、仮説が否定される

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