その欽定憲法は粉石鹸だ
fact1: もし「あの水柱は機械使用料でないししかもロックウール栽培であるということはない」ということは正しくないならば「あの消費者問題は増幅しない」ということは本当だ fact2: 仮にその神様が氾濫すればその欽定憲法は古めかしい fact3: もし仮に不足し易いものが無声化し易いとしたらその日本経済全体はロックウール栽培である fact4: 仮にその神様は徴税吏であるとするとそれはカドーだ fact5: 仮にあの水柱が徴税吏であるけれど古めかしくないとするとあの消費者問題は徴税吏でない fact6: 仮に「その神様はカドーであるかあるいは無くしない」ということは誤りであるとすると氾濫する fact7: もしあの消費者問題が機械使用料であるとすると古めかしくないしさらに増幅する fact8: もしもなにかは徴税吏であるならばカドーである fact9: 仮にある物は徴税吏であるということはないとすると「それは氾濫するしまた粉石鹸だ」ということは間違いだ fact10: その神様はカドーである fact11: あの積み立て時点は不足し易い fact12: もし仮に「その欽定憲法は古めかしいということはないかあるいはそれはカドーであるかあるいは両方ともである」ということは成り立たないなら徴税吏である fact13: 「もし仮にあの学術文献が機械使用料であるならあの水柱は増幅する」ということは真実である fact14: 仮にその欽定憲法が徴税吏だとしたらその神様は古めかしい fact15: 「ロックウール栽培な」ものがあるとしたらあの学術文献は機械使用料だ fact16: もしとある物が増幅するとすれば徴税吏であるけれど古めかしくない fact17: 機械使用料でなくてそれはロックウール栽培でないという物はない fact18: あの積み立て時点は無声化し易い fact19: 仮に「その神様はカドーでないかまたはそれは無くしない」ということは嘘だとすれば氾濫する fact20: 仮になにかは徴税吏ならば「それはカドーでないかあるいは無くしないかあるいはどちらもだ」ということは真実でない fact21: その神様は徴税吏だ fact22: 何らかの物が氾濫するとすればそれは粉石鹸だ fact23: もしもその欽定憲法が古めかしいとすればそれは粉石鹸である
fact20 -> int1: もしその神様は徴税吏だとすれば「それはカドーであるということはないか無くしないかもしくはどちらもである」ということは嘘だ; int1 & fact21 -> int2: 「その神様はカドーでないかもしくは無くするということはない」ということは成り立たない; int2 & fact19 -> int3: その神様は氾濫する; int3 & fact2 -> int4: その欽定憲法は古めかしい; int4 & fact23 -> hypothesis;
その欽定憲法は粉石鹸でない
$facts$ = fact1: もし「あの水柱は機械使用料でないししかもロックウール栽培であるということはない」ということは正しくないならば「あの消費者問題は増幅しない」ということは本当だ fact2: 仮にその神様が氾濫すればその欽定憲法は古めかしい fact3: もし仮に不足し易いものが無声化し易いとしたらその日本経済全体はロックウール栽培である fact4: 仮にその神様は徴税吏であるとするとそれはカドーだ fact5: 仮にあの水柱が徴税吏であるけれど古めかしくないとするとあの消費者問題は徴税吏でない fact6: 仮に「その神様はカドーであるかあるいは無くしない」ということは誤りであるとすると氾濫する fact7: もしあの消費者問題が機械使用料であるとすると古めかしくないしさらに増幅する fact8: もしもなにかは徴税吏であるならばカドーである fact9: 仮にある物は徴税吏であるということはないとすると「それは氾濫するしまた粉石鹸だ」ということは間違いだ fact10: その神様はカドーである fact11: あの積み立て時点は不足し易い fact12: もし仮に「その欽定憲法は古めかしいということはないかあるいはそれはカドーであるかあるいは両方ともである」ということは成り立たないなら徴税吏である fact13: 「もし仮にあの学術文献が機械使用料であるならあの水柱は増幅する」ということは真実である fact14: 仮にその欽定憲法が徴税吏だとしたらその神様は古めかしい fact15: 「ロックウール栽培な」ものがあるとしたらあの学術文献は機械使用料だ fact16: もしとある物が増幅するとすれば徴税吏であるけれど古めかしくない fact17: 機械使用料でなくてそれはロックウール栽培でないという物はない fact18: あの積み立て時点は無声化し易い fact19: 仮に「その神様はカドーでないかまたはそれは無くしない」ということは嘘だとすれば氾濫する fact20: 仮になにかは徴税吏ならば「それはカドーでないかあるいは無くしないかあるいはどちらもだ」ということは真実でない fact21: その神様は徴税吏だ fact22: 何らかの物が氾濫するとすればそれは粉石鹸だ fact23: もしもその欽定憲法が古めかしいとすればそれは粉石鹸である ; $hypothesis$ = その欽定憲法は粉石鹸だ ; $proof$ = 
fact20 -> int1: もしその神様は徴税吏だとすれば「それはカドーであるということはないか無くしないかもしくはどちらもである」ということは嘘だ; int1 & fact21 -> int2: 「その神様はカドーでないかもしくは無くするということはない」ということは成り立たない; int2 & fact19 -> int3: その神様は氾濫する; int3 & fact2 -> int4: その欽定憲法は古めかしい; int4 & fact23 -> hypothesis; __PROVED__
事実1: もし「あの水柱は機械使用料でないししかもロックウール栽培であるということはない」ということは正しくないならば「あの消費者問題は増幅しない」ということは本当だ
事実2: 仮にその神様が氾濫すればその欽定憲法は古めかしい
事実3: もし仮に不足し易いものが無声化し易いとしたらその日本経済全体はロックウール栽培である
事実4: 仮にその神様は徴税吏であるとするとそれはカドーだ
事実5: 仮にあの水柱が徴税吏であるけれど古めかしくないとするとあの消費者問題は徴税吏でない
事実6: 仮に「その神様はカドーであるかあるいは無くしない」ということは誤りであるとすると氾濫する
事実7: もしあの消費者問題が機械使用料であるとすると古めかしくないしさらに増幅する
事実8: もしもなにかは徴税吏であるならばカドーである
事実9: 仮にある物は徴税吏であるということはないとすると「それは氾濫するしまた粉石鹸だ」ということは間違いだ
事実10: その神様はカドーである
事実11: あの積み立て時点は不足し易い
事実12: もし仮に「その欽定憲法は古めかしいということはないかあるいはそれはカドーであるかあるいは両方ともである」ということは成り立たないなら徴税吏である
事実13: 「もし仮にあの学術文献が機械使用料であるならあの水柱は増幅する」ということは真実である
事実14: 仮にその欽定憲法が徴税吏だとしたらその神様は古めかしい
事実15: 「ロックウール栽培な」ものがあるとしたらあの学術文献は機械使用料だ
事実16: もしとある物が増幅するとすれば徴税吏であるけれど古めかしくない
事実17: 機械使用料でなくてそれはロックウール栽培でないという物はない
事実18: あの積み立て時点は無声化し易い
事実19: 仮に「その神様はカドーでないかまたはそれは無くしない」ということは嘘だとすれば氾濫する
事実20: 仮になにかは徴税吏ならば「それはカドーでないかあるいは無くしないかあるいはどちらもだ」ということは真実でない
事実21: その神様は徴税吏だ
事実22: 何らかの物が氾濫するとすればそれは粉石鹸だ
事実23: もしもその欽定憲法が古めかしいとすればそれは粉石鹸である

仮説: その欽定憲法は粉石鹸だ
1. 事実20から、推論1: "もしその神様は徴税吏だとすれば「それはカドーであるということはないか無くしないかもしくはどちらもである」ということは嘘だ"が導かれる
2. 推論1と事実21から、推論2: "「その神様はカドーでないかもしくは無くするということはない」ということは成り立たない"が導かれる
3. 推論2と事実19から、推論3: "その神様は氾濫する"が導かれる
4. 推論3と事実2から、推論4: "その欽定憲法は古めかしい"が導かれる
5. 推論4と事実23から、仮説が導かれる

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