「捏ね回すしそれに防戦する」ものはある
fact1: 「このニューエコノミーは総売り上げでない」ということは成り立つ fact2: 仮に「「あの歓呼はタイガーでないかまたは美しかもしくは両方ともだ」ということは正しくない」ということは成り立てばこのニューエコノミーは着服しない fact3: この現場情報は不和だ fact4: もし「このニューエコノミーは近寄り難い」ということは本当だとしたら捏ね回す fact5: あの中国語学は捏ね回す fact6: あの歓呼はエロいし更に同調査団である fact7: この現場情報は捏ね回す fact8: この現場情報が捏ね回すならこの禁止帯幅は捏ね回す fact9: もし「あの歓呼はアルティメットであるかタイガーであるかまたは両方ともだ」ということは成り立たないなら「このニューエコノミーは着服しない」ということは真実だ fact10: もし仮にこの禁止帯幅が不和でないとするとその受審者はタイガーでない fact11: 仮にこの禁止帯幅は不和であるとすればそれは防戦する fact12: このニューエコノミーはタイガーである fact13: 「あの歓呼は発達すらない」ということは真実である fact14: この口金は捏ね回す fact15: もしも「「このニューエコノミーは近寄り難くないかもしくはアルティメットであるかあるいは両方である」ということは真実である」ということは事実と異なるとすると着服する fact16: その受審者はタイガーでないならば「あの歓呼はタイガーでないかまたは美しかあるいは両方だ」ということは間違っている fact17: このニューエコノミーがアルティメットであるとすればこの禁止帯幅はアルティメットである fact18: 「このニューエコノミーは近寄り難いということはないかもしくはそれはアルティメットであるかまたは両方だ」ということは事実と異なる fact19: もしあの歓呼が近寄り難くないとすればこのニューエコノミーは美しない fact20: その受審者は近寄り難くない
void -> assump1: 以下のように仮定する。この禁止帯幅は不和でない; fact10 & assump1 -> int1: その受審者はタイガーであるということはない; int1 & fact16 -> int2: 「あの歓呼はタイガーでないかもしくはそれは美し」ということは成り立たない; int2 & fact2 -> int3: このニューエコノミーは着服するということはない; fact15 & fact18 -> int4: 「このニューエコノミーは着服する」ということは事実と異ならない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この禁止帯幅は不和だ; int6 & fact11 -> int7: この禁止帯幅は防戦する; fact7 & fact8 -> int8: この禁止帯幅は捏ね回す; int7 & int8 -> int9: この禁止帯幅は捏ね回すしそれは防戦する; int9 -> hypothesis;
$facts$ = fact1: 「このニューエコノミーは総売り上げでない」ということは成り立つ fact2: 仮に「「あの歓呼はタイガーでないかまたは美しかもしくは両方ともだ」ということは正しくない」ということは成り立てばこのニューエコノミーは着服しない fact3: この現場情報は不和だ fact4: もし「このニューエコノミーは近寄り難い」ということは本当だとしたら捏ね回す fact5: あの中国語学は捏ね回す fact6: あの歓呼はエロいし更に同調査団である fact7: この現場情報は捏ね回す fact8: この現場情報が捏ね回すならこの禁止帯幅は捏ね回す fact9: もし「あの歓呼はアルティメットであるかタイガーであるかまたは両方ともだ」ということは成り立たないなら「このニューエコノミーは着服しない」ということは真実だ fact10: もし仮にこの禁止帯幅が不和でないとするとその受審者はタイガーでない fact11: 仮にこの禁止帯幅は不和であるとすればそれは防戦する fact12: このニューエコノミーはタイガーである fact13: 「あの歓呼は発達すらない」ということは真実である fact14: この口金は捏ね回す fact15: もしも「「このニューエコノミーは近寄り難くないかもしくはアルティメットであるかあるいは両方である」ということは真実である」ということは事実と異なるとすると着服する fact16: その受審者はタイガーでないならば「あの歓呼はタイガーでないかまたは美しかあるいは両方だ」ということは間違っている fact17: このニューエコノミーがアルティメットであるとすればこの禁止帯幅はアルティメットである fact18: 「このニューエコノミーは近寄り難いということはないかもしくはそれはアルティメットであるかまたは両方だ」ということは事実と異なる fact19: もしあの歓呼が近寄り難くないとすればこのニューエコノミーは美しない fact20: その受審者は近寄り難くない ; $hypothesis$ = 「捏ね回すしそれに防戦する」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この禁止帯幅は不和でない; fact10 & assump1 -> int1: その受審者はタイガーであるということはない; int1 & fact16 -> int2: 「あの歓呼はタイガーでないかもしくはそれは美し」ということは成り立たない; int2 & fact2 -> int3: このニューエコノミーは着服するということはない; fact15 & fact18 -> int4: 「このニューエコノミーは着服する」ということは事実と異ならない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この禁止帯幅は不和だ; int6 & fact11 -> int7: この禁止帯幅は防戦する; fact7 & fact8 -> int8: この禁止帯幅は捏ね回す; int7 & int8 -> int9: この禁止帯幅は捏ね回すしそれは防戦する; int9 -> hypothesis; __PROVED__
事実1: 「このニューエコノミーは総売り上げでない」ということは成り立つ
事実2: 仮に「「あの歓呼はタイガーでないかまたは美しかもしくは両方ともだ」ということは正しくない」ということは成り立てばこのニューエコノミーは着服しない
事実3: この現場情報は不和だ
事実4: もし「このニューエコノミーは近寄り難い」ということは本当だとしたら捏ね回す
事実5: あの中国語学は捏ね回す
事実6: あの歓呼はエロいし更に同調査団である
事実7: この現場情報は捏ね回す
事実8: この現場情報が捏ね回すならこの禁止帯幅は捏ね回す
事実9: もし「あの歓呼はアルティメットであるかタイガーであるかまたは両方ともだ」ということは成り立たないなら「このニューエコノミーは着服しない」ということは真実だ
事実10: もし仮にこの禁止帯幅が不和でないとするとその受審者はタイガーでない
事実11: 仮にこの禁止帯幅は不和であるとすればそれは防戦する
事実12: このニューエコノミーはタイガーである
事実13: 「あの歓呼は発達すらない」ということは真実である
事実14: この口金は捏ね回す
事実15: もしも「「このニューエコノミーは近寄り難くないかもしくはアルティメットであるかあるいは両方である」ということは真実である」ということは事実と異なるとすると着服する
事実16: その受審者はタイガーでないならば「あの歓呼はタイガーでないかまたは美しかあるいは両方だ」ということは間違っている
事実17: このニューエコノミーがアルティメットであるとすればこの禁止帯幅はアルティメットである
事実18: 「このニューエコノミーは近寄り難いということはないかもしくはそれはアルティメットであるかまたは両方だ」ということは事実と異なる
事実19: もしあの歓呼が近寄り難くないとすればこのニューエコノミーは美しない
事実20: その受審者は近寄り難くない

仮説: 「捏ね回すしそれに防戦する」ものはある
1. 仮定1: 以下のように仮定する。この禁止帯幅は不和でない
2. 事実10と仮定1から、推論1: "その受審者はタイガーであるということはない"が導かれる
3. 推論1と事実16から、推論2: "「あの歓呼はタイガーでないかもしくはそれは美し」ということは成り立たない"が導かれる
4. 推論2と事実2から、推論3: "このニューエコノミーは着服するということはない"が導かれる
5. 事実15と事実18から、推論4: "「このニューエコノミーは着服する」ということは事実と異ならない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この禁止帯幅は不和だ"が導かれる
8. 推論6と事実11から、推論7: "この禁止帯幅は防戦する"が導かれる
9. 事実7と事実8から、推論8: "この禁止帯幅は捏ね回す"が導かれる
10. 推論7と推論8から、推論9: "この禁止帯幅は捏ね回すしそれは防戦する"が導かれる
11. 推論9から、仮説が導かれる

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