「もしこの大見出しは惨いとしたら「あのスリル満点は心置き無いがしかし海上交通であるということはない」ということは成り立たない」ということは間違いだ
fact1: もしもこの亜鉛は海上交通でないとしたら「あのスリル満点は心置き無いがしかし海上交通でない」ということは誤っている fact2: 「海上交通は心置き無くない」ということは成り立つ fact3: もし惨いものが地域協力ならばあの無呼吸は支え合わない fact4: 「その無呼吸は支え合わない」ということは事実であるとしたら「この亜鉛は見付け易くないしまた支え合わない」ということは成り立たない fact5: 「なんらかの物は見付け易くないし支え合わない」ということは成り立たないとするとそれは海上交通でない fact6: もしもこの大見出しは惨いならば「その無呼吸は海上交通であるし加えてそれは支え合う」ということは誤っている fact7: 「この大見出しは地域協力だ」ということは間違いであるということはない fact8: 「この亜鉛は見付け易くないが支え合う」ということは偽である
void -> assump1: 以下のように仮定する。この大見出しは惨い; assump1 & fact7 -> int1: この大見出しは惨くてまたそれは地域協力である; int1 -> int2: あるものは惨いしまたそれは地域協力である; int2 & fact3 -> int3: その無呼吸は支え合わない; int3 & fact4 -> int4: 「この亜鉛は見付け易くないしそれに支え合わない」ということは事実と異なる; fact5 -> int5: もし仮に「この亜鉛は見付け易くないし支え合わない」ということは成り立たないとしたらそれは海上交通だということはない; int4 & int5 -> int6: この亜鉛は海上交通でない; int6 & fact1 -> int7: 「あのスリル満点は心置き無い一方でそれは海上交通だということはない」ということは成り立たない; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もしもこの亜鉛は海上交通でないとしたら「あのスリル満点は心置き無いがしかし海上交通でない」ということは誤っている fact2: 「海上交通は心置き無くない」ということは成り立つ fact3: もし惨いものが地域協力ならばあの無呼吸は支え合わない fact4: 「その無呼吸は支え合わない」ということは事実であるとしたら「この亜鉛は見付け易くないしまた支え合わない」ということは成り立たない fact5: 「なんらかの物は見付け易くないし支え合わない」ということは成り立たないとするとそれは海上交通でない fact6: もしもこの大見出しは惨いならば「その無呼吸は海上交通であるし加えてそれは支え合う」ということは誤っている fact7: 「この大見出しは地域協力だ」ということは間違いであるということはない fact8: 「この亜鉛は見付け易くないが支え合う」ということは偽である ; $hypothesis$ = 「もしこの大見出しは惨いとしたら「あのスリル満点は心置き無いがしかし海上交通であるということはない」ということは成り立たない」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この大見出しは惨い; assump1 & fact7 -> int1: この大見出しは惨くてまたそれは地域協力である; int1 -> int2: あるものは惨いしまたそれは地域協力である; int2 & fact3 -> int3: その無呼吸は支え合わない; int3 & fact4 -> int4: 「この亜鉛は見付け易くないしそれに支え合わない」ということは事実と異なる; fact5 -> int5: もし仮に「この亜鉛は見付け易くないし支え合わない」ということは成り立たないとしたらそれは海上交通だということはない; int4 & int5 -> int6: この亜鉛は海上交通でない; int6 & fact1 -> int7: 「あのスリル満点は心置き無い一方でそれは海上交通だということはない」ということは成り立たない; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もしもこの亜鉛は海上交通でないとしたら「あのスリル満点は心置き無いがしかし海上交通でない」ということは誤っている
事実2: 「海上交通は心置き無くない」ということは成り立つ
事実3: もし惨いものが地域協力ならばあの無呼吸は支え合わない
事実4: 「その無呼吸は支え合わない」ということは事実であるとしたら「この亜鉛は見付け易くないしまた支え合わない」ということは成り立たない
事実5: 「なんらかの物は見付け易くないし支え合わない」ということは成り立たないとするとそれは海上交通でない
事実6: もしもこの大見出しは惨いならば「その無呼吸は海上交通であるし加えてそれは支え合う」ということは誤っている
事実7: 「この大見出しは地域協力だ」ということは間違いであるということはない
事実8: 「この亜鉛は見付け易くないが支え合う」ということは偽である

仮説: 「もしこの大見出しは惨いとしたら「あのスリル満点は心置き無いがしかし海上交通であるということはない」ということは成り立たない」ということは間違いだ
1. 仮定1: 以下のように仮定する。この大見出しは惨い
2. 仮定1と事実7から、推論1: "この大見出しは惨くてまたそれは地域協力である"が導かれる
3. 推論1から、推論2: "あるものは惨いしまたそれは地域協力である"が導かれる
4. 推論2と事実3から、推論3: "その無呼吸は支え合わない"が導かれる
5. 推論3と事実4から、推論4: "「この亜鉛は見付け易くないしそれに支え合わない」ということは事実と異なる"が導かれる
6. 事実5から、推論5: "もし仮に「この亜鉛は見付け易くないし支え合わない」ということは成り立たないとしたらそれは海上交通だということはない"が導かれる
7. 推論4と推論5から、推論6: "この亜鉛は海上交通でない"が導かれる
8. 推論6と事実1から、推論7: "「あのスリル満点は心置き無い一方でそれは海上交通だということはない」ということは成り立たない"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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