「その一挙両得は充放電しない」ということは確かである
fact1: あの平均罅割れ間隔は立ち会わない fact2: もしもあの平均罅割れ間隔が立ち会うしさらに出払えばこの脊髄型はどうしても欲しい fact3: もしもその保全部が捕り手でないとしたらあの平均罅割れ間隔は立ち会わない fact4: もし仮に「その保全部は立ち会わない」ということは事実であるならあの第二艦隊司令長官は充放電しないし捕り手でない fact5: もしあの平均罅割れ間隔が殉教者だとするとあの第二艦隊司令長官は立ち会う fact6: 「「この脊髄型は出払わない」ということは事実だ」ということは嘘であるとすればあの平均罅割れ間隔は出払うということはない fact7: もしもあの第二艦隊司令長官が出払わないけれどそれは立ち会うとしたら「あの平均罅割れ間隔は殉教者である」ということは正しい fact8: その一挙両得は手荒くない fact9: もし仮にあの第二艦隊司令長官が充放電するということはないしその上捕り手であるということはないとするとその一挙両得は充放電しない fact10: その一挙両得は殉教者でない fact11: あの第二艦隊司令長官は殉教者だ fact12: もしもその保全部が捕り手だということはないとしたらあの平均罅割れ間隔は立ち会わないけれどそれは出払う fact13: その保全部が手荒くないならばあの第二艦隊司令長官は出払わないがしかし捕り手である fact14: もし仮にあの第二艦隊司令長官が殉教者でありまた手荒くないならその保全部は捕り手でない fact15: 「あの平均罅割れ間隔が立ち会うということはないが出払うならこの脊髄型はどうしても欲しい」ということは真実である fact16: もし仮にあるものは出払わないとすれば「どうしても欲しくないが立ち会う」ということは間違っている fact17: あの第二艦隊司令長官は出払う fact18: あの第二艦隊司令長官は殉教者である一方で手荒くない fact19: もしこの脊髄型がどうしても欲しいならその一挙両得は充放電する
fact14 & fact18 -> int1: その保全部は捕り手でない; int1 & fact12 -> int2: あの平均罅割れ間隔は立ち会わない一方で出払う; int2 & fact15 -> int3: この脊髄型はどうしても欲しい; int3 & fact19 -> hypothesis;
「その一挙両得は充放電しない」ということは成り立つ
fact20 -> int4: もしもあの平均罅割れ間隔は出払わないならば「どうしても欲しいということはないけど立ち会う」ということは偽だ;
$facts$ = fact1: あの平均罅割れ間隔は立ち会わない fact2: もしもあの平均罅割れ間隔が立ち会うしさらに出払えばこの脊髄型はどうしても欲しい fact3: もしもその保全部が捕り手でないとしたらあの平均罅割れ間隔は立ち会わない fact4: もし仮に「その保全部は立ち会わない」ということは事実であるならあの第二艦隊司令長官は充放電しないし捕り手でない fact5: もしあの平均罅割れ間隔が殉教者だとするとあの第二艦隊司令長官は立ち会う fact6: 「「この脊髄型は出払わない」ということは事実だ」ということは嘘であるとすればあの平均罅割れ間隔は出払うということはない fact7: もしもあの第二艦隊司令長官が出払わないけれどそれは立ち会うとしたら「あの平均罅割れ間隔は殉教者である」ということは正しい fact8: その一挙両得は手荒くない fact9: もし仮にあの第二艦隊司令長官が充放電するということはないしその上捕り手であるということはないとするとその一挙両得は充放電しない fact10: その一挙両得は殉教者でない fact11: あの第二艦隊司令長官は殉教者だ fact12: もしもその保全部が捕り手だということはないとしたらあの平均罅割れ間隔は立ち会わないけれどそれは出払う fact13: その保全部が手荒くないならばあの第二艦隊司令長官は出払わないがしかし捕り手である fact14: もし仮にあの第二艦隊司令長官が殉教者でありまた手荒くないならその保全部は捕り手でない fact15: 「あの平均罅割れ間隔が立ち会うということはないが出払うならこの脊髄型はどうしても欲しい」ということは真実である fact16: もし仮にあるものは出払わないとすれば「どうしても欲しくないが立ち会う」ということは間違っている fact17: あの第二艦隊司令長官は出払う fact18: あの第二艦隊司令長官は殉教者である一方で手荒くない fact19: もしこの脊髄型がどうしても欲しいならその一挙両得は充放電する ; $hypothesis$ = 「その一挙両得は充放電しない」ということは確かである ; $proof$ = 
fact14 & fact18 -> int1: その保全部は捕り手でない; int1 & fact12 -> int2: あの平均罅割れ間隔は立ち会わない一方で出払う; int2 & fact15 -> int3: この脊髄型はどうしても欲しい; int3 & fact19 -> hypothesis; __DISPROVED__
事実1: あの平均罅割れ間隔は立ち会わない
事実2: もしもあの平均罅割れ間隔が立ち会うしさらに出払えばこの脊髄型はどうしても欲しい
事実3: もしもその保全部が捕り手でないとしたらあの平均罅割れ間隔は立ち会わない
事実4: もし仮に「その保全部は立ち会わない」ということは事実であるならあの第二艦隊司令長官は充放電しないし捕り手でない
事実5: もしあの平均罅割れ間隔が殉教者だとするとあの第二艦隊司令長官は立ち会う
事実6: 「「この脊髄型は出払わない」ということは事実だ」ということは嘘であるとすればあの平均罅割れ間隔は出払うということはない
事実7: もしもあの第二艦隊司令長官が出払わないけれどそれは立ち会うとしたら「あの平均罅割れ間隔は殉教者である」ということは正しい
事実8: その一挙両得は手荒くない
事実9: もし仮にあの第二艦隊司令長官が充放電するということはないしその上捕り手であるということはないとするとその一挙両得は充放電しない
事実10: その一挙両得は殉教者でない
事実11: あの第二艦隊司令長官は殉教者だ
事実12: もしもその保全部が捕り手だということはないとしたらあの平均罅割れ間隔は立ち会わないけれどそれは出払う
事実13: その保全部が手荒くないならばあの第二艦隊司令長官は出払わないがしかし捕り手である
事実14: もし仮にあの第二艦隊司令長官が殉教者でありまた手荒くないならその保全部は捕り手でない
事実15: 「あの平均罅割れ間隔が立ち会うということはないが出払うならこの脊髄型はどうしても欲しい」ということは真実である
事実16: もし仮にあるものは出払わないとすれば「どうしても欲しくないが立ち会う」ということは間違っている
事実17: あの第二艦隊司令長官は出払う
事実18: あの第二艦隊司令長官は殉教者である一方で手荒くない
事実19: もしこの脊髄型がどうしても欲しいならその一挙両得は充放電する

仮説: 「その一挙両得は充放電しない」ということは確かである
1. 事実14と事実18から、推論1: "その保全部は捕り手でない"が導かれる
2. 推論1と事実12から、推論2: "あの平均罅割れ間隔は立ち会わない一方で出払う"が導かれる
3. 推論2と事実15から、推論3: "この脊髄型はどうしても欲しい"が導かれる
4. 推論3と事実19から、仮説が否定される

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