「もし仮に「この艦隊決戦は中五郡だ」ということは成り立つならその共通は無くないしおまけにそれは厄介払いしない」ということは嘘である
fact1: この艦隊決戦は慈悲深い fact2: この艦隊決戦は電束密度である fact3: あの修正案は中五郡だ fact4: あのＭＯＳＳは藪である fact5: 「藪である」物はあるとすると「その共通は厄介払いしない」ということは成り立つ fact6: 仮にその共通が中五郡でないとしたらこの艦隊決戦は無くて単価である fact7: そのギグは中五郡だということはない fact8: 仮にその共通が単価であるし中五郡であるとすればこの艦隊決戦は厄介払いしない fact9: もし「あの地上権者は痒いがしかし苛立たしかない」ということは偽であるとしたらこの浮釣りは臭くない fact10: その共通は厚い fact11: この艦隊決戦は狡くて厄介払いする fact12: 「この浮釣りはコントロールし易い一方で御住まいに成らない」ということは誤りならばコントロールし易くない fact13: この浮釣りは厄介払いしないならば「あのＭＯＳＳは中五郡だ一方で藪でない」ということは成り立つということはない fact14: もし臭くないものはコントロールし易くないとすると「それは拝命だということはない」ということは本当である fact15: 仮に何らかのものが藪であるならばあのＭＯＳＳは中五郡だということはない fact16: 仮にこの艦隊決戦が単価であるし加えて中五郡だとすればその共通は無くない fact17: 「あの地上権者は痒いが苛立たしかない」ということは成り立たない fact18: この母胎は厄介払いする fact19: あのＭＯＳＳは厄介払いしなくて開校伺いでない fact20: あるものは拝命でないなら「それは厄介払いしない」ということは本当である fact21: その共通は自然らしくない fact22: もしも単価があるとすればあの艦隊決戦は藪でない fact23: この艦隊決戦は単価だ fact24: この艦隊決戦が中五郡だしかつ厄介払いする
void -> assump1: 以下のように仮定する。この艦隊決戦は中五郡だ; fact23 & assump1 -> int1: この艦隊決戦は単価であるし更にそれは中五郡である; int1 & fact16 -> int2: 「その共通は無いということはない」ということは正しい; fact4 -> int3: 「藪である」物はある; fact5 & int3 -> int4: その共通は厄介払いしない; int2 & int4 -> int5: その共通は無いということはなくてしかもそれは厄介払いしない; [assump1] & int5 -> hypothesis;
この艦隊決戦は無い
fact31 -> int6: もしこの浮釣りは拝命でないならそれは厄介払いするということはない; fact29 -> int7: 仮にこの浮釣りが臭くないしさらにそれはコントロールし易くないとすると拝命でない; fact28 & fact26 -> int8: この浮釣りは臭くない;
$facts$ = fact1: この艦隊決戦は慈悲深い fact2: この艦隊決戦は電束密度である fact3: あの修正案は中五郡だ fact4: あのＭＯＳＳは藪である fact5: 「藪である」物はあるとすると「その共通は厄介払いしない」ということは成り立つ fact6: 仮にその共通が中五郡でないとしたらこの艦隊決戦は無くて単価である fact7: そのギグは中五郡だということはない fact8: 仮にその共通が単価であるし中五郡であるとすればこの艦隊決戦は厄介払いしない fact9: もし「あの地上権者は痒いがしかし苛立たしかない」ということは偽であるとしたらこの浮釣りは臭くない fact10: その共通は厚い fact11: この艦隊決戦は狡くて厄介払いする fact12: 「この浮釣りはコントロールし易い一方で御住まいに成らない」ということは誤りならばコントロールし易くない fact13: この浮釣りは厄介払いしないならば「あのＭＯＳＳは中五郡だ一方で藪でない」ということは成り立つということはない fact14: もし臭くないものはコントロールし易くないとすると「それは拝命だということはない」ということは本当である fact15: 仮に何らかのものが藪であるならばあのＭＯＳＳは中五郡だということはない fact16: 仮にこの艦隊決戦が単価であるし加えて中五郡だとすればその共通は無くない fact17: 「あの地上権者は痒いが苛立たしかない」ということは成り立たない fact18: この母胎は厄介払いする fact19: あのＭＯＳＳは厄介払いしなくて開校伺いでない fact20: あるものは拝命でないなら「それは厄介払いしない」ということは本当である fact21: その共通は自然らしくない fact22: もしも単価があるとすればあの艦隊決戦は藪でない fact23: この艦隊決戦は単価だ fact24: この艦隊決戦が中五郡だしかつ厄介払いする ; $hypothesis$ = 「もし仮に「この艦隊決戦は中五郡だ」ということは成り立つならその共通は無くないしおまけにそれは厄介払いしない」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。この艦隊決戦は中五郡だ; fact23 & assump1 -> int1: この艦隊決戦は単価であるし更にそれは中五郡である; int1 & fact16 -> int2: 「その共通は無いということはない」ということは正しい; fact4 -> int3: 「藪である」物はある; fact5 & int3 -> int4: その共通は厄介払いしない; int2 & int4 -> int5: その共通は無いということはなくてしかもそれは厄介払いしない; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: この艦隊決戦は慈悲深い
事実2: この艦隊決戦は電束密度である
事実3: あの修正案は中五郡だ
事実4: あのＭＯＳＳは藪である
事実5: 「藪である」物はあるとすると「その共通は厄介払いしない」ということは成り立つ
事実6: 仮にその共通が中五郡でないとしたらこの艦隊決戦は無くて単価である
事実7: そのギグは中五郡だということはない
事実8: 仮にその共通が単価であるし中五郡であるとすればこの艦隊決戦は厄介払いしない
事実9: もし「あの地上権者は痒いがしかし苛立たしかない」ということは偽であるとしたらこの浮釣りは臭くない
事実10: その共通は厚い
事実11: この艦隊決戦は狡くて厄介払いする
事実12: 「この浮釣りはコントロールし易い一方で御住まいに成らない」ということは誤りならばコントロールし易くない
事実13: この浮釣りは厄介払いしないならば「あのＭＯＳＳは中五郡だ一方で藪でない」ということは成り立つということはない
事実14: もし臭くないものはコントロールし易くないとすると「それは拝命だということはない」ということは本当である
事実15: 仮に何らかのものが藪であるならばあのＭＯＳＳは中五郡だということはない
事実16: 仮にこの艦隊決戦が単価であるし加えて中五郡だとすればその共通は無くない
事実17: 「あの地上権者は痒いが苛立たしかない」ということは成り立たない
事実18: この母胎は厄介払いする
事実19: あのＭＯＳＳは厄介払いしなくて開校伺いでない
事実20: あるものは拝命でないなら「それは厄介払いしない」ということは本当である
事実21: その共通は自然らしくない
事実22: もしも単価があるとすればあの艦隊決戦は藪でない
事実23: この艦隊決戦は単価だ
事実24: この艦隊決戦が中五郡だしかつ厄介払いする

仮説: 「もし仮に「この艦隊決戦は中五郡だ」ということは成り立つならその共通は無くないしおまけにそれは厄介払いしない」ということは嘘である
1. 仮定1: 以下のように仮定する。この艦隊決戦は中五郡だ
2. 事実23と仮定1から、推論1: "この艦隊決戦は単価であるし更にそれは中五郡である"が導かれる
3. 推論1と事実16から、推論2: "「その共通は無いということはない」ということは正しい"が導かれる
4. 事実4から、推論3: "「藪である」物はある"が導かれる
5. 事実5と推論3から、推論4: "その共通は厄介払いしない"が導かれる
6. 推論2と推論4から、推論5: "その共通は無いということはなくてしかもそれは厄介払いしない"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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