「あの盗品性は紛争地域だけれどそれは底堅くない」ということは成り立つということはない
fact1: もし仮にこの南総里見八犬伝が受電するとしたら打ち落とす fact2: 「あの盗品性は革命家でない」ということは偽でない fact3: あの医療専門家は受電するし加えてそれは紛争地域である fact4: その高分子化合物は出易い fact5: 「出易いけれど受電しない」物があるとしたらあの盗品性は紛争地域だ fact6: あのデフォルト時は出易くない fact7: この南総里見八犬伝は打ち落とさない fact8: あの盗品性は届き難い fact9: もし「なんらかのものは歌える」ということは成り立つとしたら「それは底堅くないしさらに鍛造品でない」ということは成り立つということはない fact10: なんらかのものは出易い fact11: あの盗品性は美味しいけれど生態研究でない fact12: この南総里見八犬伝は多くない fact13: あの盗品性は出易くない fact14: 「何らかのものは出易くて受電する」ということは確かだ fact15: あの上院は受電しない fact16: この南総里見八犬伝が歌えるとすると出易くなくて鍛造品でない fact17: あの盗品性は受電する fact18: あの盗品性は頼れる一方で似せない fact19: 何らかのものは受電する一方で打ち落とすということはない fact20: なにかは受電しない fact21: あの盗品性は揺り起こす一方で見え難くない fact22: もしこの南総里見八犬伝が出易くないとしたらあの盗品性は打ち落とすし受電する fact23: 「あの渋温泉は受電する」ということは嘘であるということはない fact24: あの盗品性は底堅くない fact25: この南総里見八犬伝は出易い
void -> assump1: 以下のように仮定する。この南総里見八犬伝は受電する; fact1 & assump1 -> int1: この南総里見八犬伝は打ち落とす; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この南総里見八犬伝は受電しない」ということは確かだ; int3 & fact25 -> int4: この南総里見八犬伝は出易いけれどそれは受電しない; int4 -> int5: なにかは出易いけど受電しない; int5 & fact5 -> int6: あの盗品性は紛争地域だ; int6 & fact24 -> hypothesis;
「あの医療専門家は出易いということはない」ということは事実である
fact27 -> int7: あの医療専門家は受電する; 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: あの盗品性は底堅くない fact25: この南総里見八犬伝は出易い ; $hypothesis$ = 「あの盗品性は紛争地域だけれどそれは底堅くない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この南総里見八犬伝は受電する; fact1 & assump1 -> int1: この南総里見八犬伝は打ち落とす; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この南総里見八犬伝は受電しない」ということは確かだ; int3 & fact25 -> int4: この南総里見八犬伝は出易いけれどそれは受電しない; int4 -> int5: なにかは出易いけど受電しない; int5 & fact5 -> int6: あの盗品性は紛争地域だ; int6 & fact24 -> 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: あの盗品性は底堅くない
事実25: この南総里見八犬伝は出易い

仮説: 「あの盗品性は紛争地域だけれどそれは底堅くない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この南総里見八犬伝は受電する
2. 事実1と仮定1から、推論1: "この南総里見八犬伝は打ち落とす"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この南総里見八犬伝は受電しない」ということは確かだ"が導かれる
5. 推論3と事実25から、推論4: "この南総里見八犬伝は出易いけれどそれは受電しない"が導かれる
6. 推論4から、推論5: "なにかは出易いけど受電しない"が導かれる
7. 推論5と事実5から、推論6: "あの盗品性は紛争地域だ"が導かれる
8. 推論6と事実24から、仮説が否定される

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