「あの資金募集は繰り返し見るかあるいは百万円程度でない」ということは間違っている
fact1: 何かは御止し為されば百万円程度でなくてかつぎくしゃくするということはない fact2: もし「この屑屋は広いがしかしぎくしゃくしない」ということは本当でないなら「この夫婦共働きは出現し易くない」ということは本当である fact3: もし仮にこの屑屋が輸入貨物だということはないならこの自然状態はぎくしゃくするししかもそれは出現し易い fact4: 仮にこの屑屋は御止し為さらないとしたら「あの価格下落はキャラメルソースでないかスプーンであるかあるいはどちらもだ」ということは成り立たない fact5: もしもなにがしかのものはぎくしゃくすれば「それは幢相であるけれど御止し為さらない」ということは嘘だ fact6: もしも「「この夫婦共働きは代表するかあるいは御止し為さる」ということは間違いだ」ということは成り立つとすれば繰り返し見ない fact7: あの延長線は活用し易いか繰り返し見る fact8: 広いけれど代表しないという物はない fact9: もしもあの価格下落は繰り返し見ないならば「あの資金募集は繰り返し見るかあるいは百万円程度でないか両方である」ということは成り立たない fact10: 「あの資金募集は輸入貨物で繰り返し見る」ということは成り立たない fact11: 仮に「とある物は広い一方でそれは代表しない」ということは成り立たないとするとそれは輸入貨物だ fact12: あの資金募集が百万円程度でないならばあの屑屋は百万円程度でない fact13: もし仮にこの屑屋は出現し易くないとしたら「あの延長線は出現し易いけれど活用し易くない」ということは偽である fact14: 「あの延長線は出現し易いけれど活用し易いということはない」ということは間違いだとするとこの夫婦共働きは輸入貨物でない fact15: もし仮に「この夫婦共働きは出現し易くないか広い」ということは間違っていればそれは代表するということはない fact16: 「この夫婦共働きは代表するかまたはそれは繰り返し見ないかまたは両方である」ということは間違いである fact17: 仮にこの屑屋はぎくしゃくするかもしくは御止し為さるかあるいは両方ともであるとするとそれは出現し易くない fact18: もし仮にこの夫婦共働きはスプーンであるならば「あの延長線は輸入貨物である一方で活用し易くない」ということは成り立つということはない fact19: もし仮に「あの資金募集はぎくしゃくするということはない」ということは本当であるとすれば「この屑屋は代表しないかまたは百万円程度であるかあるいはどちらもである」ということは誤りだ fact20: 仮に「「あるものはキャラメルソースだということはないかスプーンであるか両方である」ということは正しい」ということは事実でないならば繰り返し見ない fact21: あの資金募集は百万円程度であるならぎくしゃくしない
void -> assump1: 以下のように仮定する。この屑屋は御止し為さる; assump1 -> int1: この屑屋はぎくしゃくするかあるいは御止し為さる; int1 & fact17 -> int2: この屑屋は出現し易くない; int2 & fact13 -> int3: 「あの延長線は出現し易い一方でそれは活用し易くない」ということは成り立たない; int3 & fact14 -> int4: この夫婦共働きは輸入貨物であるということはない; fact8 -> int5: 「この夫婦共働きは広いがしかしそれは代表しない」ということは真実でない; fact11 -> int6: もしも「この夫婦共働きは広いがしかし代表しない」ということは確かだということはないとすると輸入貨物だ; int5 & int6 -> int7: この夫婦共働きは輸入貨物である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この屑屋は御止し為さらない; int9 & fact4 -> int10: 「「あの価格下落はキャラメルソースでないかあるいはスプーンであるかあるいは両方だ」ということは確かだ」ということは成り立たない; fact20 -> int11: もしも「あの価格下落はキャラメルソースでないかあるいはスプーンであるかもしくは両方である」ということは誤っていれば繰り返し見ない; int10 & int11 -> int12: あの価格下落は繰り返し見ない; int12 & fact9 -> hypothesis;
「この自然状態は幢相であるけど御止し為さるということはない」ということは確かでない
fact22 -> int13: もしもこの自然状態はぎくしゃくするとすると「それは幢相だ一方で御止し為さらない」ということは事実と異なる;
$facts$ = fact1: 何かは御止し為されば百万円程度でなくてかつぎくしゃくするということはない fact2: もし「この屑屋は広いがしかしぎくしゃくしない」ということは本当でないなら「この夫婦共働きは出現し易くない」ということは本当である fact3: もし仮にこの屑屋が輸入貨物だということはないならこの自然状態はぎくしゃくするししかもそれは出現し易い fact4: 仮にこの屑屋は御止し為さらないとしたら「あの価格下落はキャラメルソースでないかスプーンであるかあるいはどちらもだ」ということは成り立たない fact5: もしもなにがしかのものはぎくしゃくすれば「それは幢相であるけれど御止し為さらない」ということは嘘だ fact6: もしも「「この夫婦共働きは代表するかあるいは御止し為さる」ということは間違いだ」ということは成り立つとすれば繰り返し見ない fact7: あの延長線は活用し易いか繰り返し見る fact8: 広いけれど代表しないという物はない fact9: もしもあの価格下落は繰り返し見ないならば「あの資金募集は繰り返し見るかあるいは百万円程度でないか両方である」ということは成り立たない fact10: 「あの資金募集は輸入貨物で繰り返し見る」ということは成り立たない fact11: 仮に「とある物は広い一方でそれは代表しない」ということは成り立たないとするとそれは輸入貨物だ fact12: あの資金募集が百万円程度でないならばあの屑屋は百万円程度でない fact13: もし仮にこの屑屋は出現し易くないとしたら「あの延長線は出現し易いけれど活用し易くない」ということは偽である fact14: 「あの延長線は出現し易いけれど活用し易いということはない」ということは間違いだとするとこの夫婦共働きは輸入貨物でない fact15: もし仮に「この夫婦共働きは出現し易くないか広い」ということは間違っていればそれは代表するということはない fact16: 「この夫婦共働きは代表するかまたはそれは繰り返し見ないかまたは両方である」ということは間違いである fact17: 仮にこの屑屋はぎくしゃくするかもしくは御止し為さるかあるいは両方ともであるとするとそれは出現し易くない fact18: もし仮にこの夫婦共働きはスプーンであるならば「あの延長線は輸入貨物である一方で活用し易くない」ということは成り立つということはない fact19: もし仮に「あの資金募集はぎくしゃくするということはない」ということは本当であるとすれば「この屑屋は代表しないかまたは百万円程度であるかあるいはどちらもである」ということは誤りだ fact20: 仮に「「あるものはキャラメルソースだということはないかスプーンであるか両方である」ということは正しい」ということは事実でないならば繰り返し見ない fact21: あの資金募集は百万円程度であるならぎくしゃくしない ; $hypothesis$ = 「あの資金募集は繰り返し見るかあるいは百万円程度でない」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この屑屋は御止し為さる; assump1 -> int1: この屑屋はぎくしゃくするかあるいは御止し為さる; int1 & fact17 -> int2: この屑屋は出現し易くない; int2 & fact13 -> int3: 「あの延長線は出現し易い一方でそれは活用し易くない」ということは成り立たない; int3 & fact14 -> int4: この夫婦共働きは輸入貨物であるということはない; fact8 -> int5: 「この夫婦共働きは広いがしかしそれは代表しない」ということは真実でない; fact11 -> int6: もしも「この夫婦共働きは広いがしかし代表しない」ということは確かだということはないとすると輸入貨物だ; int5 & int6 -> int7: この夫婦共働きは輸入貨物である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この屑屋は御止し為さらない; int9 & fact4 -> int10: 「「あの価格下落はキャラメルソースでないかあるいはスプーンであるかあるいは両方だ」ということは確かだ」ということは成り立たない; fact20 -> int11: もしも「あの価格下落はキャラメルソースでないかあるいはスプーンであるかもしくは両方である」ということは誤っていれば繰り返し見ない; int10 & int11 -> int12: あの価格下落は繰り返し見ない; int12 & fact9 -> hypothesis; __PROVED__
事実1: 何かは御止し為されば百万円程度でなくてかつぎくしゃくするということはない
事実2: もし「この屑屋は広いがしかしぎくしゃくしない」ということは本当でないなら「この夫婦共働きは出現し易くない」ということは本当である
事実3: もし仮にこの屑屋が輸入貨物だということはないならこの自然状態はぎくしゃくするししかもそれは出現し易い
事実4: 仮にこの屑屋は御止し為さらないとしたら「あの価格下落はキャラメルソースでないかスプーンであるかあるいはどちらもだ」ということは成り立たない
事実5: もしもなにがしかのものはぎくしゃくすれば「それは幢相であるけれど御止し為さらない」ということは嘘だ
事実6: もしも「「この夫婦共働きは代表するかあるいは御止し為さる」ということは間違いだ」ということは成り立つとすれば繰り返し見ない
事実7: あの延長線は活用し易いか繰り返し見る
事実8: 広いけれど代表しないという物はない
事実9: もしもあの価格下落は繰り返し見ないならば「あの資金募集は繰り返し見るかあるいは百万円程度でないか両方である」ということは成り立たない
事実10: 「あの資金募集は輸入貨物で繰り返し見る」ということは成り立たない
事実11: 仮に「とある物は広い一方でそれは代表しない」ということは成り立たないとするとそれは輸入貨物だ
事実12: あの資金募集が百万円程度でないならばあの屑屋は百万円程度でない
事実13: もし仮にこの屑屋は出現し易くないとしたら「あの延長線は出現し易いけれど活用し易くない」ということは偽である
事実14: 「あの延長線は出現し易いけれど活用し易いということはない」ということは間違いだとするとこの夫婦共働きは輸入貨物でない
事実15: もし仮に「この夫婦共働きは出現し易くないか広い」ということは間違っていればそれは代表するということはない
事実16: 「この夫婦共働きは代表するかまたはそれは繰り返し見ないかまたは両方である」ということは間違いである
事実17: 仮にこの屑屋はぎくしゃくするかもしくは御止し為さるかあるいは両方ともであるとするとそれは出現し易くない
事実18: もし仮にこの夫婦共働きはスプーンであるならば「あの延長線は輸入貨物である一方で活用し易くない」ということは成り立つということはない
事実19: もし仮に「あの資金募集はぎくしゃくするということはない」ということは本当であるとすれば「この屑屋は代表しないかまたは百万円程度であるかあるいはどちらもである」ということは誤りだ
事実20: 仮に「「あるものはキャラメルソースだということはないかスプーンであるか両方である」ということは正しい」ということは事実でないならば繰り返し見ない
事実21: あの資金募集は百万円程度であるならぎくしゃくしない

仮説: 「あの資金募集は繰り返し見るかあるいは百万円程度でない」ということは間違っている
1. 仮定1: 以下のように仮定する。この屑屋は御止し為さる
2. 仮定1から、推論1: "この屑屋はぎくしゃくするかあるいは御止し為さる"が導かれる
3. 推論1と事実17から、推論2: "この屑屋は出現し易くない"が導かれる
4. 推論2と事実13から、推論3: "「あの延長線は出現し易い一方でそれは活用し易くない」ということは成り立たない"が導かれる
5. 推論3と事実14から、推論4: "この夫婦共働きは輸入貨物であるということはない"が導かれる
6. 事実8から、推論5: "「この夫婦共働きは広いがしかしそれは代表しない」ということは真実でない"が導かれる
7. 事実11から、推論6: "もしも「この夫婦共働きは広いがしかし代表しない」ということは確かだということはないとすると輸入貨物だ"が導かれる
8. 推論5と推論6から、推論7: "この夫婦共働きは輸入貨物である"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この屑屋は御止し為さらない"が導かれる
11. 推論9と事実4から、推論10: "「「あの価格下落はキャラメルソースでないかあるいはスプーンであるかあるいは両方だ」ということは確かだ」ということは成り立たない"が導かれる
12. 事実20から、推論11: "もしも「あの価格下落はキャラメルソースでないかあるいはスプーンであるかもしくは両方である」ということは誤っていれば繰り返し見ない"が導かれる
13. 推論10と推論11から、推論12: "あの価格下落は繰り返し見ない"が導かれる
14. 推論12と事実9から、仮説が導かれる

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