この原料産地は弱くない
fact1: もし仮にあの大事件は陥り易くないとしたら「この経験可能領域は集会室でないがしかし分担し合う」ということは成り立たない fact2: 何もかもは蓄積しないか泊り歩かないかまたは両方だ fact3: 「「この経験可能領域は集会室でない一方で分担し合う」ということは成り立つということはない」ということは本当ならばこの原料産地は弱くない fact4: 仮にあの大事件は陥り易いとすると「泊り歩く」ということは本当だ fact5: もし仮にあの大事件が弱くないが集会室だとしたらこの原料産地は弱い fact6: あの大事件は陥り易いとしたら「蓄積しないかあるいは泊り歩かないかまたは両方ともだ」ということは事実と異なる
void -> assump1: 以下のように仮定する。あの大事件は陥り易い; fact6 & assump1 -> int1: 「あの大事件は蓄積するということはないかもしくはそれは泊り歩かないか両方だ」ということは成り立たない; fact2 -> int2: あの大事件は蓄積しないかもしくは泊り歩かないかあるいは両方だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの大事件は陥り易くない」ということは本当だ; int4 & fact1 -> int5: 「この経験可能領域は集会室でないけど分担し合う」ということは確かでない; int5 & fact3 -> hypothesis;
この原料産地は弱い
$facts$ = fact1: もし仮にあの大事件は陥り易くないとしたら「この経験可能領域は集会室でないがしかし分担し合う」ということは成り立たない fact2: 何もかもは蓄積しないか泊り歩かないかまたは両方だ fact3: 「「この経験可能領域は集会室でない一方で分担し合う」ということは成り立つということはない」ということは本当ならばこの原料産地は弱くない fact4: 仮にあの大事件は陥り易いとすると「泊り歩く」ということは本当だ fact5: もし仮にあの大事件が弱くないが集会室だとしたらこの原料産地は弱い fact6: あの大事件は陥り易いとしたら「蓄積しないかあるいは泊り歩かないかまたは両方ともだ」ということは事実と異なる ; $hypothesis$ = この原料産地は弱くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの大事件は陥り易い; fact6 & assump1 -> int1: 「あの大事件は蓄積するということはないかもしくはそれは泊り歩かないか両方だ」ということは成り立たない; fact2 -> int2: あの大事件は蓄積しないかもしくは泊り歩かないかあるいは両方だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの大事件は陥り易くない」ということは本当だ; int4 & fact1 -> int5: 「この経験可能領域は集会室でないけど分担し合う」ということは確かでない; int5 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にあの大事件は陥り易くないとしたら「この経験可能領域は集会室でないがしかし分担し合う」ということは成り立たない
事実2: 何もかもは蓄積しないか泊り歩かないかまたは両方だ
事実3: 「「この経験可能領域は集会室でない一方で分担し合う」ということは成り立つということはない」ということは本当ならばこの原料産地は弱くない
事実4: 仮にあの大事件は陥り易いとすると「泊り歩く」ということは本当だ
事実5: もし仮にあの大事件が弱くないが集会室だとしたらこの原料産地は弱い
事実6: あの大事件は陥り易いとしたら「蓄積しないかあるいは泊り歩かないかまたは両方ともだ」ということは事実と異なる

仮説: この原料産地は弱くない
1. 仮定1: 以下のように仮定する。あの大事件は陥り易い
2. 事実6と仮定1から、推論1: "「あの大事件は蓄積するということはないかもしくはそれは泊り歩かないか両方だ」ということは成り立たない"が導かれる
3. 事実2から、推論2: "あの大事件は蓄積しないかもしくは泊り歩かないかあるいは両方だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの大事件は陥り易くない」ということは本当だ"が導かれる
6. 推論4と事実1から、推論5: "「この経験可能領域は集会室でないけど分担し合う」ということは確かでない"が導かれる
7. 推論5と事実3から、仮説が導かれる

よって、仮説が証明されました。