あの増益はぞくぞくしない一方でそれは咬合力だ
fact1: もし「あるものは咬合力であるけれどそれは香しいということはない」ということは間違いだとすると「咬合力でない」ということは真実である fact2: あの秋田蘭画は伝統芸能であるなら「あの増益は咬合力だけど香しかない」ということは偽だ fact3: もし仮に「あの秋田蘭画はぞくぞくする」ということは事実と異ならないならばそれは御説明する fact4: あの秋田蘭画は厚かましい fact5: 仮にあの増益が厚かましくないとするとあの秋田蘭画は咬合力だ fact6: もしもあの増益が厚かましくないならあの秋田蘭画は厚かましくないがしかし御説明する fact7: 「あの秋田蘭画はぞくぞくしない」ということは本当ならあの増益はぞくぞくしないけれどそれは咬合力だ fact8: 仮にとある物は御説明するとすれば「それはぞくぞくしなくてまた咬合力だ」ということは偽である fact9: もし「なんらかの物は咬合力でない」ということは成り立つならそれはぞくぞくするしおまけにそれは御説明しない fact10: もし仮に「あの秋田蘭画は厚かましい」ということは成り立つなら御説明するということはない
void -> assump1: 以下のように仮定する。あの秋田蘭画はぞくぞくする; fact3 & assump1 -> int1: あの秋田蘭画は御説明する; fact4 & fact10 -> int2: あの秋田蘭画は御説明しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの秋田蘭画はぞくぞくしない; int4 & fact7 -> hypothesis;
あの増益は疾しない一方でそれは厚かましい
fact12 -> int5: もしあの増益が咬合力でないとしたらそれはぞくぞくするしそれは御説明しない; fact11 -> int6: もしも「「あの増益が咬合力だけどそれは香しいということはない」ということは間違いでない」ということは成り立たないとしたら咬合力だということはない;
$facts$ = fact1: もし「あるものは咬合力であるけれどそれは香しいということはない」ということは間違いだとすると「咬合力でない」ということは真実である fact2: あの秋田蘭画は伝統芸能であるなら「あの増益は咬合力だけど香しかない」ということは偽だ fact3: もし仮に「あの秋田蘭画はぞくぞくする」ということは事実と異ならないならばそれは御説明する fact4: あの秋田蘭画は厚かましい fact5: 仮にあの増益が厚かましくないとするとあの秋田蘭画は咬合力だ fact6: もしもあの増益が厚かましくないならあの秋田蘭画は厚かましくないがしかし御説明する fact7: 「あの秋田蘭画はぞくぞくしない」ということは本当ならあの増益はぞくぞくしないけれどそれは咬合力だ fact8: 仮にとある物は御説明するとすれば「それはぞくぞくしなくてまた咬合力だ」ということは偽である fact9: もし「なんらかの物は咬合力でない」ということは成り立つならそれはぞくぞくするしおまけにそれは御説明しない fact10: もし仮に「あの秋田蘭画は厚かましい」ということは成り立つなら御説明するということはない ; $hypothesis$ = あの増益はぞくぞくしない一方でそれは咬合力だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの秋田蘭画はぞくぞくする; fact3 & assump1 -> int1: あの秋田蘭画は御説明する; fact4 & fact10 -> int2: あの秋田蘭画は御説明しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの秋田蘭画はぞくぞくしない; int4 & fact7 -> hypothesis; __PROVED__
事実1: もし「あるものは咬合力であるけれどそれは香しいということはない」ということは間違いだとすると「咬合力でない」ということは真実である
事実2: あの秋田蘭画は伝統芸能であるなら「あの増益は咬合力だけど香しかない」ということは偽だ
事実3: もし仮に「あの秋田蘭画はぞくぞくする」ということは事実と異ならないならばそれは御説明する
事実4: あの秋田蘭画は厚かましい
事実5: 仮にあの増益が厚かましくないとするとあの秋田蘭画は咬合力だ
事実6: もしもあの増益が厚かましくないならあの秋田蘭画は厚かましくないがしかし御説明する
事実7: 「あの秋田蘭画はぞくぞくしない」ということは本当ならあの増益はぞくぞくしないけれどそれは咬合力だ
事実8: 仮にとある物は御説明するとすれば「それはぞくぞくしなくてまた咬合力だ」ということは偽である
事実9: もし「なんらかの物は咬合力でない」ということは成り立つならそれはぞくぞくするしおまけにそれは御説明しない
事実10: もし仮に「あの秋田蘭画は厚かましい」ということは成り立つなら御説明するということはない

仮説: あの増益はぞくぞくしない一方でそれは咬合力だ
1. 仮定1: 以下のように仮定する。あの秋田蘭画はぞくぞくする
2. 事実3と仮定1から、推論1: "あの秋田蘭画は御説明する"が導かれる
3. 事実4と事実10から、推論2: "あの秋田蘭画は御説明しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの秋田蘭画はぞくぞくしない"が導かれる
6. 推論4と事実7から、仮説が導かれる

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