「あの夏頃が引き結ばないならあのアースは増え難いし居辛い」ということは正しくない
fact1: もし仮にサルモネラは使わさないならば「あのアースは勝ち抜く」ということは本当である fact2: 仮に何らかの物が引き結ばないとしたらこのラフティースノーはサルモネラである一方で使わさない fact3: この豪気は活動し易い fact4: 仮に「「活動し易い」ということは成り立つ」ものがあればあのアースは居辛い fact5: 「もしもあのアースが勝ち抜くならばあのアースは増え難い」ということは成り立つ
void -> assump1: 以下のように仮定する。あの夏頃は引き結ばない; assump1 -> int1: なにかは引き結ばない; int1 & fact2 -> int2: このラフティースノーはサルモネラだけれど使わさない; int2 -> int3: 「サルモネラだし使わさない」ものはある; int3 & fact1 -> int4: あのアースは勝ち抜く; int4 & fact5 -> int5: あのアースは増え難い; fact3 -> int6: 活動し易いものはある; fact4 & int6 -> int7: あのアースは居辛い; int5 & int7 -> int8: あのアースは増え難いしさらにそれは居辛い; [assump1] & int8 -> hypothesis;
$facts$ = fact1: もし仮にサルモネラは使わさないならば「あのアースは勝ち抜く」ということは本当である fact2: 仮に何らかの物が引き結ばないとしたらこのラフティースノーはサルモネラである一方で使わさない fact3: この豪気は活動し易い fact4: 仮に「「活動し易い」ということは成り立つ」ものがあればあのアースは居辛い fact5: 「もしもあのアースが勝ち抜くならばあのアースは増え難い」ということは成り立つ ; $hypothesis$ = 「あの夏頃が引き結ばないならあのアースは増え難いし居辛い」ということは正しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの夏頃は引き結ばない; assump1 -> int1: なにかは引き結ばない; int1 & fact2 -> int2: このラフティースノーはサルモネラだけれど使わさない; int2 -> int3: 「サルモネラだし使わさない」ものはある; int3 & fact1 -> int4: あのアースは勝ち抜く; int4 & fact5 -> int5: あのアースは増え難い; fact3 -> int6: 活動し易いものはある; fact4 & int6 -> int7: あのアースは居辛い; int5 & int7 -> int8: あのアースは増え難いしさらにそれは居辛い; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もし仮にサルモネラは使わさないならば「あのアースは勝ち抜く」ということは本当である
事実2: 仮に何らかの物が引き結ばないとしたらこのラフティースノーはサルモネラである一方で使わさない
事実3: この豪気は活動し易い
事実4: 仮に「「活動し易い」ということは成り立つ」ものがあればあのアースは居辛い
事実5: 「もしもあのアースが勝ち抜くならばあのアースは増え難い」ということは成り立つ

仮説: 「あの夏頃が引き結ばないならあのアースは増え難いし居辛い」ということは正しくない
1. 仮定1: 以下のように仮定する。あの夏頃は引き結ばない
2. 仮定1から、推論1: "なにかは引き結ばない"が導かれる
3. 推論1と事実2から、推論2: "このラフティースノーはサルモネラだけれど使わさない"が導かれる
4. 推論2から、推論3: "「サルモネラだし使わさない」ものはある"が導かれる
5. 推論3と事実1から、推論4: "あのアースは勝ち抜く"が導かれる
6. 推論4と事実5から、推論5: "あのアースは増え難い"が導かれる
7. 事実3から、推論6: "活動し易いものはある"が導かれる
8. 事実4と推論6から、推論7: "あのアースは居辛い"が導かれる
9. 推論5と推論7から、推論8: "あのアースは増え難いしさらにそれは居辛い"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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