「「「仮にショートしないならば「主要顧客でないしさらに丸いということはない」ということは成り立たない」ものはある」ということは間違っていない」ということは真実でない
fact1: もしもあの船員法は主要顧客でないが丸いならばショートする fact2: あの船員法は丸くない fact3: 仮になんらかの物は積もるけれど地球連邦でないとすればそれは出ず fact4: もし何らかの物は主要顧客でなくてかつ丸くないならそれはショートする fact5: 「もしもショートしないとすれば「主要顧客であるが丸くない」ということは成り立たない」物はある fact6: 「あの船員法は疑わし一方でそれは主要顧客でない」ということは間違っている fact7: 仮に主要顧客が丸くないとすればそれはショートする
fact4 -> int1: もし仮にあの船員法が主要顧客だということはなくて更にそれは丸くないとしたら「ショートする」ということは正しい; void -> assump1: 以下のように仮定する。あの船員法は主要顧客でないしそれに丸いということはない; int1 & assump1 -> int2: あの船員法はショートする; void -> assump2: 以下のように仮定する。あの船員法はショートしない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「あの船員法は主要顧客でなくて丸くない」ということは事実である」ということは嘘である; [assump2] & int4 -> int5: もしもあの船員法はショートしないとしたら「それは主要顧客でなくて丸くない」ということは偽である; int5 -> hypothesis;
$facts$ = fact1: もしもあの船員法は主要顧客でないが丸いならばショートする fact2: あの船員法は丸くない fact3: 仮になんらかの物は積もるけれど地球連邦でないとすればそれは出ず fact4: もし何らかの物は主要顧客でなくてかつ丸くないならそれはショートする fact5: 「もしもショートしないとすれば「主要顧客であるが丸くない」ということは成り立たない」物はある fact6: 「あの船員法は疑わし一方でそれは主要顧客でない」ということは間違っている fact7: 仮に主要顧客が丸くないとすればそれはショートする ; $hypothesis$ = 「「「仮にショートしないならば「主要顧客でないしさらに丸いということはない」ということは成り立たない」ものはある」ということは間違っていない」ということは真実でない ; $proof$ = 
fact4 -> int1: もし仮にあの船員法が主要顧客だということはなくて更にそれは丸くないとしたら「ショートする」ということは正しい; void -> assump1: 以下のように仮定する。あの船員法は主要顧客でないしそれに丸いということはない; int1 & assump1 -> int2: あの船員法はショートする; void -> assump2: 以下のように仮定する。あの船員法はショートしない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「「あの船員法は主要顧客でなくて丸くない」ということは事実である」ということは嘘である; [assump2] & int4 -> int5: もしもあの船員法はショートしないとしたら「それは主要顧客でなくて丸くない」ということは偽である; int5 -> hypothesis; __DISPROVED__
事実1: もしもあの船員法は主要顧客でないが丸いならばショートする
事実2: あの船員法は丸くない
事実3: 仮になんらかの物は積もるけれど地球連邦でないとすればそれは出ず
事実4: もし何らかの物は主要顧客でなくてかつ丸くないならそれはショートする
事実5: 「もしもショートしないとすれば「主要顧客であるが丸くない」ということは成り立たない」物はある
事実6: 「あの船員法は疑わし一方でそれは主要顧客でない」ということは間違っている
事実7: 仮に主要顧客が丸くないとすればそれはショートする

仮説: 「「「仮にショートしないならば「主要顧客でないしさらに丸いということはない」ということは成り立たない」ものはある」ということは間違っていない」ということは真実でない
1. 事実4から、推論1: "もし仮にあの船員法が主要顧客だということはなくて更にそれは丸くないとしたら「ショートする」ということは正しい"が導かれる
2. 仮定1: 以下のように仮定する。あの船員法は主要顧客でないしそれに丸いということはない
3. 推論1と仮定1から、推論2: "あの船員法はショートする"が導かれる
4. 仮定2: 以下のように仮定する。あの船員法はショートしない
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「「あの船員法は主要顧客でなくて丸くない」ということは事実である」ということは嘘である"が導かれる
7. [仮定2]と推論4から、推論5: "もしもあの船員法はショートしないとしたら「それは主要顧客でなくて丸くない」ということは偽である"が導かれる
8. 推論5から、仮説が否定される

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