この特許出願件数は横切らない
fact1: もしある物が福井地域経済であるか気付き難いとするとこの特許出願件数は立腹するということはない fact2: 「なにかは立腹しない」ということは事実であるならそれは神社・仏閣であるということはない fact3: もし仮にあのマウンドは福井地域経済でないとすると「この特許出願件数は気付き難くないがしかし福井地域経済である」ということは成り立つということはない fact4: もし「ある物は気付き難くないが福井地域経済である」ということは間違っていればそれは横切らない fact5: もしこの意識は不味くないとすると「あのマウンドは不味くない」ということは成り立つ fact6: もし「何かは御節介であるか不味い」ということは間違っていれば福井地域経済でない fact7: 「この特許出願件数は気付き難くてまたそれは福井地域経済だ」ということは成り立たない fact8: ある物は傷付き易いかあるいはそれは話ノブであるかあるいはどちらもだ fact9: もし仮に「神社・仏閣な」ものがあるとしたらあの折り返し印刷は立腹しない fact10: 「なんらかのものは使い易いか否認権だ」ということは成り立たないならそれは御手伝いさんでない fact11: もしもこの意識は不味くないとすると「あのマウンドは御節介であるかまたは不味い」ということは成り立たない fact12: あのマウンドは不味くない fact13: 仮にこの特許出願件数が気付き難いとすればそれは横切らない fact14: 仮にあのマウンドは福井地域経済でないならば「「この特許出願件数は気付き難いしまた福井地域経済だ」ということは正しい」ということは間違っている fact15: この意識は福井地域経済でない fact16: もし仮に「なにかは果てするかまたはそれは近代文学であるかもしくは両方である」ということは嘘だとすればせしめない fact17: あの折り返し印刷は残代金合計額である fact18: あの折り返し印刷は立腹するしそれは残代金合計額だ fact19: 気付き難い物は横切らない fact20: なんらかの物が不味いかそれが神社・仏閣であるかまたは両方ともだとすればあの折り返し印刷は立腹しない
void -> assump1: 以下のように仮定する。この意識は不味い; assump1 -> int1: この意識は不味いかもしくはそれは神社・仏閣であるかもしくは両方である; int1 -> int2: 「不味いかあるいは神社・仏閣であるかまたは両方ともである」物はある; int2 & fact20 -> int3: あの折り返し印刷は立腹しない; fact18 -> int4: 「あの折り返し印刷は立腹する」ということは真実だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この意識は不味いということはない; int6 & fact11 -> int7: 「あのマウンドは御節介であるかあるいは不味いかもしくは両方ともである」ということは誤っている; fact6 -> int8: 「あのマウンドは御節介であるかあるいは不味いかあるいはどちらもである」ということは間違っていれば福井地域経済であるということはない; int7 & int8 -> int9: あのマウンドは福井地域経済でない; int9 & fact3 -> int10: 「この特許出願件数は気付き難くないがしかしそれは福井地域経済だ」ということは間違いだ; fact4 -> int11: もしも「この特許出願件数は気付き難くない一方で福井地域経済である」ということは間違っているならそれは横切らない; int10 & int11 -> hypothesis;
この特許出願件数は横切る
fact21 -> int12: もし仮に「この意識は立腹しない」ということは成り立つならそれは神社・仏閣でない;
$facts$ = fact1: もしある物が福井地域経済であるか気付き難いとするとこの特許出願件数は立腹するということはない fact2: 「なにかは立腹しない」ということは事実であるならそれは神社・仏閣であるということはない fact3: もし仮にあのマウンドは福井地域経済でないとすると「この特許出願件数は気付き難くないがしかし福井地域経済である」ということは成り立つということはない fact4: もし「ある物は気付き難くないが福井地域経済である」ということは間違っていればそれは横切らない fact5: もしこの意識は不味くないとすると「あのマウンドは不味くない」ということは成り立つ fact6: もし「何かは御節介であるか不味い」ということは間違っていれば福井地域経済でない fact7: 「この特許出願件数は気付き難くてまたそれは福井地域経済だ」ということは成り立たない fact8: ある物は傷付き易いかあるいはそれは話ノブであるかあるいはどちらもだ fact9: もし仮に「神社・仏閣な」ものがあるとしたらあの折り返し印刷は立腹しない fact10: 「なんらかのものは使い易いか否認権だ」ということは成り立たないならそれは御手伝いさんでない fact11: もしもこの意識は不味くないとすると「あのマウンドは御節介であるかまたは不味い」ということは成り立たない fact12: あのマウンドは不味くない fact13: 仮にこの特許出願件数が気付き難いとすればそれは横切らない fact14: 仮にあのマウンドは福井地域経済でないならば「「この特許出願件数は気付き難いしまた福井地域経済だ」ということは正しい」ということは間違っている fact15: この意識は福井地域経済でない fact16: もし仮に「なにかは果てするかまたはそれは近代文学であるかもしくは両方である」ということは嘘だとすればせしめない fact17: あの折り返し印刷は残代金合計額である fact18: あの折り返し印刷は立腹するしそれは残代金合計額だ fact19: 気付き難い物は横切らない fact20: なんらかの物が不味いかそれが神社・仏閣であるかまたは両方ともだとすればあの折り返し印刷は立腹しない ; $hypothesis$ = この特許出願件数は横切らない ; $proof$ = 
void -> assump1: 以下のように仮定する。この意識は不味い; assump1 -> int1: この意識は不味いかもしくはそれは神社・仏閣であるかもしくは両方である; int1 -> int2: 「不味いかあるいは神社・仏閣であるかまたは両方ともである」物はある; int2 & fact20 -> int3: あの折り返し印刷は立腹しない; fact18 -> int4: 「あの折り返し印刷は立腹する」ということは真実だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この意識は不味いということはない; int6 & fact11 -> int7: 「あのマウンドは御節介であるかあるいは不味いかもしくは両方ともである」ということは誤っている; fact6 -> int8: 「あのマウンドは御節介であるかあるいは不味いかあるいはどちらもである」ということは間違っていれば福井地域経済であるということはない; int7 & int8 -> int9: あのマウンドは福井地域経済でない; int9 & fact3 -> int10: 「この特許出願件数は気付き難くないがしかしそれは福井地域経済だ」ということは間違いだ; fact4 -> int11: もしも「この特許出願件数は気付き難くない一方で福井地域経済である」ということは間違っているならそれは横切らない; int10 & int11 -> hypothesis; __PROVED__
事実1: もしある物が福井地域経済であるか気付き難いとするとこの特許出願件数は立腹するということはない
事実2: 「なにかは立腹しない」ということは事実であるならそれは神社・仏閣であるということはない
事実3: もし仮にあのマウンドは福井地域経済でないとすると「この特許出願件数は気付き難くないがしかし福井地域経済である」ということは成り立つということはない
事実4: もし「ある物は気付き難くないが福井地域経済である」ということは間違っていればそれは横切らない
事実5: もしこの意識は不味くないとすると「あのマウンドは不味くない」ということは成り立つ
事実6: もし「何かは御節介であるか不味い」ということは間違っていれば福井地域経済でない
事実7: 「この特許出願件数は気付き難くてまたそれは福井地域経済だ」ということは成り立たない
事実8: ある物は傷付き易いかあるいはそれは話ノブであるかあるいはどちらもだ
事実9: もし仮に「神社・仏閣な」ものがあるとしたらあの折り返し印刷は立腹しない
事実10: 「なんらかのものは使い易いか否認権だ」ということは成り立たないならそれは御手伝いさんでない
事実11: もしもこの意識は不味くないとすると「あのマウンドは御節介であるかまたは不味い」ということは成り立たない
事実12: あのマウンドは不味くない
事実13: 仮にこの特許出願件数が気付き難いとすればそれは横切らない
事実14: 仮にあのマウンドは福井地域経済でないならば「「この特許出願件数は気付き難いしまた福井地域経済だ」ということは正しい」ということは間違っている
事実15: この意識は福井地域経済でない
事実16: もし仮に「なにかは果てするかまたはそれは近代文学であるかもしくは両方である」ということは嘘だとすればせしめない
事実17: あの折り返し印刷は残代金合計額である
事実18: あの折り返し印刷は立腹するしそれは残代金合計額だ
事実19: 気付き難い物は横切らない
事実20: なんらかの物が不味いかそれが神社・仏閣であるかまたは両方ともだとすればあの折り返し印刷は立腹しない

仮説: この特許出願件数は横切らない
1. 仮定1: 以下のように仮定する。この意識は不味い
2. 仮定1から、推論1: "この意識は不味いかもしくはそれは神社・仏閣であるかもしくは両方である"が導かれる
3. 推論1から、推論2: "「不味いかあるいは神社・仏閣であるかまたは両方ともである」物はある"が導かれる
4. 推論2と事実20から、推論3: "あの折り返し印刷は立腹しない"が導かれる
5. 事実18から、推論4: "「あの折り返し印刷は立腹する」ということは真実だ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この意識は不味いということはない"が導かれる
8. 推論6と事実11から、推論7: "「あのマウンドは御節介であるかあるいは不味いかもしくは両方ともである」ということは誤っている"が導かれる
9. 事実6から、推論8: "「あのマウンドは御節介であるかあるいは不味いかあるいはどちらもである」ということは間違っていれば福井地域経済であるということはない"が導かれる
10. 推論7と推論8から、推論9: "あのマウンドは福井地域経済でない"が導かれる
11. 推論9と事実3から、推論10: "「この特許出願件数は気付き難くないがしかしそれは福井地域経済だ」ということは間違いだ"が導かれる
12. 事実4から、推論11: "もしも「この特許出願件数は気付き難くない一方で福井地域経済である」ということは間違っているならそれは横切らない"が導かれる
13. 推論10と推論11から、仮説が導かれる

よって、仮説が証明されました。