あの千葉周辺地域はじゃんけん大会でない
fact1: その往生礼賛は統御する fact2: その往生礼賛がじゃんけん大会だとしたらあの千葉周辺地域は生え易い一方で粘っこくない fact3: あの千葉周辺地域は粘っこい fact4: 仮にその往生礼賛が塩漬けするならあの千葉周辺地域は浮き浮きするけどそれは生え易くない fact5: もしも何らかのものは浮き浮きしないとすれば「生え易くてかつ塩漬けしない」ということは事実でない fact6: その往生礼賛は粘っこい fact7: 「「あの千葉周辺地域は浮き浮きするしまた生え易い」ということは誤りでない」ということは間違いである fact8: その往生礼賛は粘っこくないとすると「それはじゃんけん大会であるしまたそれは生え易い」ということは事実と異なる fact9: その往生礼賛は除ける fact10: もしその往生礼賛が塩漬けするとするとあの千葉周辺地域は生え易くない fact11: その往生礼賛は生え易い fact12: その往生礼賛は塩漬けするし粘っこい fact13: もしもとあるものはじゃんけん大会でないとしたら「それは浮き浮きするし生え易くない」ということは間違っている fact14: もし仮に何らかの物は計らうとすれば「それは塩漬けしないしまた粘っこくない」ということは事実と異なる fact15: 「その往生礼賛は粘っこいけどじゃんけん大会でない」ということは成り立つ
fact13 -> int1: もしもあの千葉周辺地域はじゃんけん大会でないとしたら「それは浮き浮きするしまた生え易くない」ということは誤りだ; void -> assump1: 以下のように仮定する。あの千葉周辺地域はじゃんけん大会でない; int1 & assump1 -> int2: 「「あの千葉周辺地域は浮き浮きするがしかし生え易くない」ということは成り立つ」ということは誤りである; fact12 -> int3: その往生礼賛は塩漬けする; int3 & fact4 -> int4: あの千葉周辺地域は浮き浮きするけど生え易いということはない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの千葉周辺地域はじゃんけん大会でない
fact16 -> int6: 仮にあの千葉周辺地域は計らうとしたら「塩漬けしなくて更に粘っこくない」ということは事実と異なる;
$facts$ = fact1: その往生礼賛は統御する fact2: その往生礼賛がじゃんけん大会だとしたらあの千葉周辺地域は生え易い一方で粘っこくない fact3: あの千葉周辺地域は粘っこい fact4: 仮にその往生礼賛が塩漬けするならあの千葉周辺地域は浮き浮きするけどそれは生え易くない fact5: もしも何らかのものは浮き浮きしないとすれば「生え易くてかつ塩漬けしない」ということは事実でない fact6: その往生礼賛は粘っこい fact7: 「「あの千葉周辺地域は浮き浮きするしまた生え易い」ということは誤りでない」ということは間違いである fact8: その往生礼賛は粘っこくないとすると「それはじゃんけん大会であるしまたそれは生え易い」ということは事実と異なる fact9: その往生礼賛は除ける fact10: もしその往生礼賛が塩漬けするとするとあの千葉周辺地域は生え易くない fact11: その往生礼賛は生え易い fact12: その往生礼賛は塩漬けするし粘っこい fact13: もしもとあるものはじゃんけん大会でないとしたら「それは浮き浮きするし生え易くない」ということは間違っている fact14: もし仮に何らかの物は計らうとすれば「それは塩漬けしないしまた粘っこくない」ということは事実と異なる fact15: 「その往生礼賛は粘っこいけどじゃんけん大会でない」ということは成り立つ ; $hypothesis$ = あの千葉周辺地域はじゃんけん大会でない ; $proof$ = 
fact13 -> int1: もしもあの千葉周辺地域はじゃんけん大会でないとしたら「それは浮き浮きするしまた生え易くない」ということは誤りだ; void -> assump1: 以下のように仮定する。あの千葉周辺地域はじゃんけん大会でない; int1 & assump1 -> int2: 「「あの千葉周辺地域は浮き浮きするがしかし生え易くない」ということは成り立つ」ということは誤りである; fact12 -> int3: その往生礼賛は塩漬けする; int3 & fact4 -> int4: あの千葉周辺地域は浮き浮きするけど生え易いということはない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: その往生礼賛は統御する
事実2: その往生礼賛がじゃんけん大会だとしたらあの千葉周辺地域は生え易い一方で粘っこくない
事実3: あの千葉周辺地域は粘っこい
事実4: 仮にその往生礼賛が塩漬けするならあの千葉周辺地域は浮き浮きするけどそれは生え易くない
事実5: もしも何らかのものは浮き浮きしないとすれば「生え易くてかつ塩漬けしない」ということは事実でない
事実6: その往生礼賛は粘っこい
事実7: 「「あの千葉周辺地域は浮き浮きするしまた生え易い」ということは誤りでない」ということは間違いである
事実8: その往生礼賛は粘っこくないとすると「それはじゃんけん大会であるしまたそれは生え易い」ということは事実と異なる
事実9: その往生礼賛は除ける
事実10: もしその往生礼賛が塩漬けするとするとあの千葉周辺地域は生え易くない
事実11: その往生礼賛は生え易い
事実12: その往生礼賛は塩漬けするし粘っこい
事実13: もしもとあるものはじゃんけん大会でないとしたら「それは浮き浮きするし生え易くない」ということは間違っている
事実14: もし仮に何らかの物は計らうとすれば「それは塩漬けしないしまた粘っこくない」ということは事実と異なる
事実15: 「その往生礼賛は粘っこいけどじゃんけん大会でない」ということは成り立つ

仮説: あの千葉周辺地域はじゃんけん大会でない
1. 事実13から、推論1: "もしもあの千葉周辺地域はじゃんけん大会でないとしたら「それは浮き浮きするしまた生え易くない」ということは誤りだ"が導かれる
2. 仮定1: 以下のように仮定する。あの千葉周辺地域はじゃんけん大会でない
3. 推論1と仮定1から、推論2: "「「あの千葉周辺地域は浮き浮きするがしかし生え易くない」ということは成り立つ」ということは誤りである"が導かれる
4. 事実12から、推論3: "その往生礼賛は塩漬けする"が導かれる
5. 推論3と事実4から、推論4: "あの千葉周辺地域は浮き浮きするけど生え易いということはない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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