「この電気事業システムは骨っぽいということはないかもしくは新規参入しないかもしくはどちらもである」ということは成り立たない
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: 発生し易いものは発足するということはない fact26: 「この電気事業システムは発生し易いけれど行列でない」ということは真実でない
void -> assump1: 以下のように仮定する。その同音は行列である; assump1 & fact13 -> int1: その同音は行列だ一方でこよなくない; fact21 -> int2: もしもその同音は行列だ一方でこよなくないとしたら発足しない; int1 & int2 -> int3: その同音は発足しない; fact2 -> int4: とあるものは発案する; fact22 & int4 -> int5: その同音は発足する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その同音は行列でない; int7 & fact5 -> int8: 「この電気事業システムは発生し易くないしそれは行列でない」ということは偽である; fact11 -> int9: 仮に「この電気事業システムは発生し易くないししかも行列でない」ということは成り立たないとするとそれは骨っぽくない; int8 & int9 -> int10: この電気事業システムは骨っぽくない; int10 -> hypothesis;
「この電気事業システムは骨っぽくないか新規参入しないかまたはどちらもである」ということは偽だ
fact28 -> int11: もしこの電気事業システムは発生し易いとすると「発足しない」ということは誤りでない;
$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: 発生し易いものは発足するということはない fact26: 「この電気事業システムは発生し易いけれど行列でない」ということは真実でない ; $hypothesis$ = 「この電気事業システムは骨っぽいということはないかもしくは新規参入しないかもしくはどちらもである」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その同音は行列である; assump1 & fact13 -> int1: その同音は行列だ一方でこよなくない; fact21 -> int2: もしもその同音は行列だ一方でこよなくないとしたら発足しない; int1 & int2 -> int3: その同音は発足しない; fact2 -> int4: とあるものは発案する; fact22 & int4 -> int5: その同音は発足する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その同音は行列でない; int7 & fact5 -> int8: 「この電気事業システムは発生し易くないしそれは行列でない」ということは偽である; fact11 -> int9: 仮に「この電気事業システムは発生し易くないししかも行列でない」ということは成り立たないとするとそれは骨っぽくない; int8 & int9 -> int10: この電気事業システムは骨っぽくない; int10 -> 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: 発生し易いものは発足するということはない
事実26: 「この電気事業システムは発生し易いけれど行列でない」ということは真実でない

仮説: 「この電気事業システムは骨っぽいということはないかもしくは新規参入しないかもしくはどちらもである」ということは成り立たない
1. 仮定1: 以下のように仮定する。その同音は行列である
2. 仮定1と事実13から、推論1: "その同音は行列だ一方でこよなくない"が導かれる
3. 事実21から、推論2: "もしもその同音は行列だ一方でこよなくないとしたら発足しない"が導かれる
4. 推論1と推論2から、推論3: "その同音は発足しない"が導かれる
5. 事実2から、推論4: "とあるものは発案する"が導かれる
6. 事実22と推論4から、推論5: "その同音は発足する"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その同音は行列でない"が導かれる
9. 推論7と事実5から、推論8: "「この電気事業システムは発生し易くないしそれは行列でない」ということは偽である"が導かれる
10. 事実11から、推論9: "仮に「この電気事業システムは発生し易くないししかも行列でない」ということは成り立たないとするとそれは骨っぽくない"が導かれる
11. 推論8と推論9から、推論10: "この電気事業システムは骨っぽくない"が導かれる
12. 推論10から、仮説が否定される

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