そのカナン人は再構成する
fact1: 「あのＡＬＣパネルは緩くないかもしくはぎらつくということはないかまたは両方ともだ」ということは嘘である fact2: もしも「何らかの物は年間降雨量であるしおまけに御尋ね下さる」ということは成り立たないとすると年間降雨量であるということはない fact3: もし仮に「この千九百二十年代前半は緩い」ということは成り立つとすればあのカナン人は年間降雨量である fact4: 仮にあの間接正犯が夥しいならそれは呼び習わすけど御尋ね下さらない fact5: なにがしかのものが引き起こし易いとすればそれは再構成する fact6: もし仮に何らかのものが褪せればそれは建築材料だ fact7: あの間接正犯は夥しい fact8: もしもなにかは御尋ね下さるということはないなら緩くないけれど認め難い fact9: もし「あのＡＬＣパネルはぎらつかないかまたはそれは引き起こし易くない」ということは成り立つということはないならこの千九百二十年代前半は緩い fact10: 「あのＡＬＣパネルはぎらつかないかもしくは再構成しないかまたは両方である」ということは成り立たない fact11: あのＡＬＣパネルは認め難くないならば「それは年間降雨量であるしそれは御尋ね下さる」ということは成り立たない fact12: もし「あのＡＬＣパネルはぎらつくかもしくは引き起こし易いということはない」ということは真実でないならばこの千九百二十年代前半は緩い fact13: もしあのＡＬＣパネルが年間降雨量ならば引き起こし易い fact14: あのＡＬＣパネルはぎらつく fact15: 「あのＡＬＣパネルはぎらつくということはないかもしくは引き起こし易くないかもしくは両方である」ということは事実と異なる fact16: そのカナン人がぎらつくならあのＡＬＣパネルは再構成する fact17: もし仮に何かは年間降雨量でないならば「それは再構成するし緩くない」ということは成り立たない fact18: 仮にこの千九百二十年代前半が再構成するとすればそれは緩い fact19: もしもとあるものは年間降雨量であるとすればそれは再構成する fact20: もし仮にある物が再構成すればそれは緩い
fact9 & fact15 -> int1: この千九百二十年代前半は緩い; int1 & fact3 -> int2: そのカナン人は年間降雨量だ; fact19 -> int3: 仮にそのカナン人は年間降雨量であるならそれは再構成する; int2 & int3 -> hypothesis;
あの間接正犯は再構成する
fact21 -> int4: あの間接正犯が御尋ね下さらないとすると緩くない一方で認め難い; fact22 & fact23 -> int5: あの間接正犯は呼び習わすがしかし御尋ね下さらない; int5 -> int6: 「あの間接正犯は御尋ね下さらない」ということは本当だ; int4 & int6 -> int7: あの間接正犯は緩いということはないけれど認め難い; int7 -> int8: あの間接正犯は緩くない;
$facts$ = fact1: 「あのＡＬＣパネルは緩くないかもしくはぎらつくということはないかまたは両方ともだ」ということは嘘である fact2: もしも「何らかの物は年間降雨量であるしおまけに御尋ね下さる」ということは成り立たないとすると年間降雨量であるということはない fact3: もし仮に「この千九百二十年代前半は緩い」ということは成り立つとすればあのカナン人は年間降雨量である fact4: 仮にあの間接正犯が夥しいならそれは呼び習わすけど御尋ね下さらない fact5: なにがしかのものが引き起こし易いとすればそれは再構成する fact6: もし仮に何らかのものが褪せればそれは建築材料だ fact7: あの間接正犯は夥しい fact8: もしもなにかは御尋ね下さるということはないなら緩くないけれど認め難い fact9: もし「あのＡＬＣパネルはぎらつかないかまたはそれは引き起こし易くない」ということは成り立つということはないならこの千九百二十年代前半は緩い fact10: 「あのＡＬＣパネルはぎらつかないかもしくは再構成しないかまたは両方である」ということは成り立たない fact11: あのＡＬＣパネルは認め難くないならば「それは年間降雨量であるしそれは御尋ね下さる」ということは成り立たない fact12: もし「あのＡＬＣパネルはぎらつくかもしくは引き起こし易いということはない」ということは真実でないならばこの千九百二十年代前半は緩い fact13: もしあのＡＬＣパネルが年間降雨量ならば引き起こし易い fact14: あのＡＬＣパネルはぎらつく fact15: 「あのＡＬＣパネルはぎらつくということはないかもしくは引き起こし易くないかもしくは両方である」ということは事実と異なる fact16: そのカナン人がぎらつくならあのＡＬＣパネルは再構成する fact17: もし仮に何かは年間降雨量でないならば「それは再構成するし緩くない」ということは成り立たない fact18: 仮にこの千九百二十年代前半が再構成するとすればそれは緩い fact19: もしもとあるものは年間降雨量であるとすればそれは再構成する fact20: もし仮にある物が再構成すればそれは緩い ; $hypothesis$ = そのカナン人は再構成する ; $proof$ = 
fact9 & fact15 -> int1: この千九百二十年代前半は緩い; int1 & fact3 -> int2: そのカナン人は年間降雨量だ; fact19 -> int3: 仮にそのカナン人は年間降雨量であるならそれは再構成する; int2 & int3 -> hypothesis; __PROVED__
事実1: 「あのＡＬＣパネルは緩くないかもしくはぎらつくということはないかまたは両方ともだ」ということは嘘である
事実2: もしも「何らかの物は年間降雨量であるしおまけに御尋ね下さる」ということは成り立たないとすると年間降雨量であるということはない
事実3: もし仮に「この千九百二十年代前半は緩い」ということは成り立つとすればあのカナン人は年間降雨量である
事実4: 仮にあの間接正犯が夥しいならそれは呼び習わすけど御尋ね下さらない
事実5: なにがしかのものが引き起こし易いとすればそれは再構成する
事実6: もし仮に何らかのものが褪せればそれは建築材料だ
事実7: あの間接正犯は夥しい
事実8: もしもなにかは御尋ね下さるということはないなら緩くないけれど認め難い
事実9: もし「あのＡＬＣパネルはぎらつかないかまたはそれは引き起こし易くない」ということは成り立つということはないならこの千九百二十年代前半は緩い
事実10: 「あのＡＬＣパネルはぎらつかないかもしくは再構成しないかまたは両方である」ということは成り立たない
事実11: あのＡＬＣパネルは認め難くないならば「それは年間降雨量であるしそれは御尋ね下さる」ということは成り立たない
事実12: もし「あのＡＬＣパネルはぎらつくかもしくは引き起こし易いということはない」ということは真実でないならばこの千九百二十年代前半は緩い
事実13: もしあのＡＬＣパネルが年間降雨量ならば引き起こし易い
事実14: あのＡＬＣパネルはぎらつく
事実15: 「あのＡＬＣパネルはぎらつくということはないかもしくは引き起こし易くないかもしくは両方である」ということは事実と異なる
事実16: そのカナン人がぎらつくならあのＡＬＣパネルは再構成する
事実17: もし仮に何かは年間降雨量でないならば「それは再構成するし緩くない」ということは成り立たない
事実18: 仮にこの千九百二十年代前半が再構成するとすればそれは緩い
事実19: もしもとあるものは年間降雨量であるとすればそれは再構成する
事実20: もし仮にある物が再構成すればそれは緩い

仮説: そのカナン人は再構成する
1. 事実9と事実15から、推論1: "この千九百二十年代前半は緩い"が導かれる
2. 推論1と事実3から、推論2: "そのカナン人は年間降雨量だ"が導かれる
3. 事実19から、推論3: "仮にそのカナン人は年間降雨量であるならそれは再構成する"が導かれる
4. 推論2と推論3から、仮説が導かれる

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