「その応用力は当たり難くないかもしくは酵素欠損である」ということは成り立たない
fact1: あの中心概念は酵素欠損である fact2: その葛葉稲荷は当たり難い fact3: もし仮になにがしかの物は活発化しなくてそれに熟考しないとすればそれは当たり難くない fact4: もしあの双胎が奨励すればその応用力は親戚関係である fact5: もし仮になにかは活発化するとすればそれは御話し下さる fact6: もしもその平均収入は熟考すれば「それは親戚関係でないかそれは酵素欠損であるかどちらもである」ということは嘘である fact7: あの双胎が親戚関係であるならばあの応用力は活発化する fact8: その平均収入はコントロールし易い fact9: もしあの双胎が御話し下さるとすればそれは奨励する fact10: 「「活発化するしかつ神典だ」ということは誤りな」物はある fact11: 「もしもその応用力が親戚関係であるとしたらその応用力は当たり難い」ということは成り立つ fact12: あの双胎はかっ飛ばす fact13: そのギリシア神話は当たり難い fact14: あの双胎が熟考するとするとその平均収入は活発化する fact15: 「あの後尾は念じないかあるいは追究するかもしくは両方ともだ」ということは成り立たない fact16: あの双胎は熟考する fact17: 「その平均収入は当たり難い」ということは事実だ fact18: その応用力は当たり難い fact19: あの双胎は酵素欠損である fact20: もし仮になんらかの物は奨励するなら「それは御話し下さらないかあるいは親戚関係であるかどちらもだ」ということは事実と異なる fact21: もし仮にある物は親戚関係であるとしたらそれは熟考する fact22: もし仮になにかは親戚関係であるとしたら「それは当たり難くないかあるいは酵素欠損であるかどちらもだ」ということは事実と異なる fact23: その平均収入が熟考するならあの双胎は活発化する fact24: その平均収入は熟考する
fact23 & fact24 -> int1: あの双胎は活発化する; fact5 -> int2: もし仮にあの双胎が活発化するなら御話し下さる; int1 & int2 -> int3: あの双胎は御話し下さる; int3 & fact9 -> int4: 「あの双胎は奨励する」ということは本当だ; int4 & fact4 -> int5: その応用力は親戚関係だ; fact22 -> int6: その応用力は親戚関係であるなら「当たり難くないかあるいは酵素欠損であるかもしくは両方ともだ」ということは成り立たない; int5 & int6 -> hypothesis;
その応用力は当たり難くないかあるいはそれは酵素欠損であるかどちらもである
fact26 -> int7: もしも「その応用力は活発化するということはないしそれは熟考するということはない」ということは成り立つとすると当たり難くない;
$facts$ = fact1: あの中心概念は酵素欠損である fact2: その葛葉稲荷は当たり難い fact3: もし仮になにがしかの物は活発化しなくてそれに熟考しないとすればそれは当たり難くない fact4: もしあの双胎が奨励すればその応用力は親戚関係である fact5: もし仮になにかは活発化するとすればそれは御話し下さる fact6: もしもその平均収入は熟考すれば「それは親戚関係でないかそれは酵素欠損であるかどちらもである」ということは嘘である fact7: あの双胎が親戚関係であるならばあの応用力は活発化する fact8: その平均収入はコントロールし易い fact9: もしあの双胎が御話し下さるとすればそれは奨励する fact10: 「「活発化するしかつ神典だ」ということは誤りな」物はある fact11: 「もしもその応用力が親戚関係であるとしたらその応用力は当たり難い」ということは成り立つ fact12: あの双胎はかっ飛ばす fact13: そのギリシア神話は当たり難い fact14: あの双胎が熟考するとするとその平均収入は活発化する fact15: 「あの後尾は念じないかあるいは追究するかもしくは両方ともだ」ということは成り立たない fact16: あの双胎は熟考する fact17: 「その平均収入は当たり難い」ということは事実だ fact18: その応用力は当たり難い fact19: あの双胎は酵素欠損である fact20: もし仮になんらかの物は奨励するなら「それは御話し下さらないかあるいは親戚関係であるかどちらもだ」ということは事実と異なる fact21: もし仮にある物は親戚関係であるとしたらそれは熟考する fact22: もし仮になにかは親戚関係であるとしたら「それは当たり難くないかあるいは酵素欠損であるかどちらもだ」ということは事実と異なる fact23: その平均収入が熟考するならあの双胎は活発化する fact24: その平均収入は熟考する ; $hypothesis$ = 「その応用力は当たり難くないかもしくは酵素欠損である」ということは成り立たない ; $proof$ = 
fact23 & fact24 -> int1: あの双胎は活発化する; fact5 -> int2: もし仮にあの双胎が活発化するなら御話し下さる; int1 & int2 -> int3: あの双胎は御話し下さる; int3 & fact9 -> int4: 「あの双胎は奨励する」ということは本当だ; int4 & fact4 -> int5: その応用力は親戚関係だ; fact22 -> int6: その応用力は親戚関係であるなら「当たり難くないかあるいは酵素欠損であるかもしくは両方ともだ」ということは成り立たない; int5 & int6 -> 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: その平均収入が熟考するならあの双胎は活発化する
事実24: その平均収入は熟考する

仮説: 「その応用力は当たり難くないかもしくは酵素欠損である」ということは成り立たない
1. 事実23と事実24から、推論1: "あの双胎は活発化する"が導かれる
2. 事実5から、推論2: "もし仮にあの双胎が活発化するなら御話し下さる"が導かれる
3. 推論1と推論2から、推論3: "あの双胎は御話し下さる"が導かれる
4. 推論3と事実9から、推論4: "「あの双胎は奨励する」ということは本当だ"が導かれる
5. 推論4と事実4から、推論5: "その応用力は親戚関係だ"が導かれる
6. 事実22から、推論6: "その応用力は親戚関係であるなら「当たり難くないかあるいは酵素欠損であるかもしくは両方ともだ」ということは成り立たない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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