その鉄扉は広告塔だ
fact1: 仮にその作曲家達がひ弱いということはないならばこの反政府運動は第一日曜日でない fact2: もしその鉄扉が変更し為さるとしたら広告塔だ fact3: もし「その作曲家達はひ弱いということはないかサーバ上でないかどちらもだ」ということは間違いであるとすれば「その浄土論は成就出来ない」ということは正しい fact4: 仮にその浄土論は成就出来ないとすると「あの休止は直視出来ないけどそれは成就出来る」ということは事実と異なる fact5: もし仮にその御艶が第一日曜日だとしたらそれは狄部だ fact6: この反政府運動は得られ易くない fact7: もしも「その鉄扉は直視出来るということはない」ということは成り立つとするとあの休止は広告塔でない fact8: この反政府運動は第一日曜日であるしかつ審美性である fact9: もしもその作曲家達がサーバ上でないとするとこの反政府運動は第一日曜日だということはない fact10: もし仮にその御艶が得られ易いとしたらその鉄扉は変更し為さる fact11: この反政府運動は変更し為さらないならば「その浄土論はひ弱いがしかし直視出来るということはない」ということは誤りである fact12: 仮にその作曲家達はひ弱くないなら「この反政府運動は第一日曜日だ」ということは真実だ fact13: 「その浄土論はひ弱いけれど直視出来ない」ということは成り立つということはないとすればそれはひ弱くない fact14: この反政府運動は審美性だ fact15: 「あの休止は直視出来ない一方で成就出来る」ということは確かでないとすればその御艶は得られ易い fact16: もし仮に「その作曲家達はサーバ上でないがしかし広告塔である」ということは確かであるとするとその鉄扉は広告塔でない fact17: もし仮にあの休止が成就出来るということはないとすればその御艶は得られ易い fact18: 「この反政府運動は変更し為さるということはない」ということは成り立つ fact19: もし仮にその浄土論は第一日曜日でないとしたら「その作曲家達はサーバ上だしその上ひ弱い」ということは偽だ
void -> assump1: 以下のように仮定する。その作曲家達はひ弱くないかまたはサーバ上でないか両方である; assump1 & fact1 & fact9 -> int1: この反政府運動は第一日曜日でない; fact8 -> int2: この反政府運動は第一日曜日である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その作曲家達はひ弱くないかあるいはそれはサーバ上でない」ということは成り立つということはない; int4 & fact3 -> int5: その浄土論は成就出来ない; int5 & fact4 -> int6: 「あの休止は直視出来るということはないけど成就出来る」ということは成り立たない; int6 & fact15 -> int7: その御艶は得られ易い; int7 & fact10 -> int8: その鉄扉は変更し為さる; int8 & fact2 -> hypothesis;
その鉄扉は広告塔でない
fact22 & fact21 -> int9: 「その浄土論はひ弱いが直視出来ない」ということは誤りだ; fact23 & int9 -> int10: その浄土論はひ弱くない;
$facts$ = fact1: 仮にその作曲家達がひ弱いということはないならばこの反政府運動は第一日曜日でない fact2: もしその鉄扉が変更し為さるとしたら広告塔だ fact3: もし「その作曲家達はひ弱いということはないかサーバ上でないかどちらもだ」ということは間違いであるとすれば「その浄土論は成就出来ない」ということは正しい fact4: 仮にその浄土論は成就出来ないとすると「あの休止は直視出来ないけどそれは成就出来る」ということは事実と異なる fact5: もし仮にその御艶が第一日曜日だとしたらそれは狄部だ fact6: この反政府運動は得られ易くない fact7: もしも「その鉄扉は直視出来るということはない」ということは成り立つとするとあの休止は広告塔でない fact8: この反政府運動は第一日曜日であるしかつ審美性である fact9: もしもその作曲家達がサーバ上でないとするとこの反政府運動は第一日曜日だということはない fact10: もし仮にその御艶が得られ易いとしたらその鉄扉は変更し為さる fact11: この反政府運動は変更し為さらないならば「その浄土論はひ弱いがしかし直視出来るということはない」ということは誤りである fact12: 仮にその作曲家達はひ弱くないなら「この反政府運動は第一日曜日だ」ということは真実だ fact13: 「その浄土論はひ弱いけれど直視出来ない」ということは成り立つということはないとすればそれはひ弱くない fact14: この反政府運動は審美性だ fact15: 「あの休止は直視出来ない一方で成就出来る」ということは確かでないとすればその御艶は得られ易い fact16: もし仮に「その作曲家達はサーバ上でないがしかし広告塔である」ということは確かであるとするとその鉄扉は広告塔でない fact17: もし仮にあの休止が成就出来るということはないとすればその御艶は得られ易い fact18: 「この反政府運動は変更し為さるということはない」ということは成り立つ fact19: もし仮にその浄土論は第一日曜日でないとしたら「その作曲家達はサーバ上だしその上ひ弱い」ということは偽だ ; $hypothesis$ = その鉄扉は広告塔だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その作曲家達はひ弱くないかまたはサーバ上でないか両方である; assump1 & fact1 & fact9 -> int1: この反政府運動は第一日曜日でない; fact8 -> int2: この反政府運動は第一日曜日である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その作曲家達はひ弱くないかあるいはそれはサーバ上でない」ということは成り立つということはない; int4 & fact3 -> int5: その浄土論は成就出来ない; int5 & fact4 -> int6: 「あの休止は直視出来るということはないけど成就出来る」ということは成り立たない; int6 & fact15 -> int7: その御艶は得られ易い; int7 & fact10 -> int8: その鉄扉は変更し為さる; int8 & fact2 -> hypothesis; __PROVED__
事実1: 仮にその作曲家達がひ弱いということはないならばこの反政府運動は第一日曜日でない
事実2: もしその鉄扉が変更し為さるとしたら広告塔だ
事実3: もし「その作曲家達はひ弱いということはないかサーバ上でないかどちらもだ」ということは間違いであるとすれば「その浄土論は成就出来ない」ということは正しい
事実4: 仮にその浄土論は成就出来ないとすると「あの休止は直視出来ないけどそれは成就出来る」ということは事実と異なる
事実5: もし仮にその御艶が第一日曜日だとしたらそれは狄部だ
事実6: この反政府運動は得られ易くない
事実7: もしも「その鉄扉は直視出来るということはない」ということは成り立つとするとあの休止は広告塔でない
事実8: この反政府運動は第一日曜日であるしかつ審美性である
事実9: もしもその作曲家達がサーバ上でないとするとこの反政府運動は第一日曜日だということはない
事実10: もし仮にその御艶が得られ易いとしたらその鉄扉は変更し為さる
事実11: この反政府運動は変更し為さらないならば「その浄土論はひ弱いがしかし直視出来るということはない」ということは誤りである
事実12: 仮にその作曲家達はひ弱くないなら「この反政府運動は第一日曜日だ」ということは真実だ
事実13: 「その浄土論はひ弱いけれど直視出来ない」ということは成り立つということはないとすればそれはひ弱くない
事実14: この反政府運動は審美性だ
事実15: 「あの休止は直視出来ない一方で成就出来る」ということは確かでないとすればその御艶は得られ易い
事実16: もし仮に「その作曲家達はサーバ上でないがしかし広告塔である」ということは確かであるとするとその鉄扉は広告塔でない
事実17: もし仮にあの休止が成就出来るということはないとすればその御艶は得られ易い
事実18: 「この反政府運動は変更し為さるということはない」ということは成り立つ
事実19: もし仮にその浄土論は第一日曜日でないとしたら「その作曲家達はサーバ上だしその上ひ弱い」ということは偽だ

仮説: その鉄扉は広告塔だ
1. 仮定1: 以下のように仮定する。その作曲家達はひ弱くないかまたはサーバ上でないか両方である
2. 仮定1と事実1と事実9から、推論1: "この反政府運動は第一日曜日でない"が導かれる
3. 事実8から、推論2: "この反政府運動は第一日曜日である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その作曲家達はひ弱くないかあるいはそれはサーバ上でない」ということは成り立つということはない"が導かれる
6. 推論4と事実3から、推論5: "その浄土論は成就出来ない"が導かれる
7. 推論5と事実4から、推論6: "「あの休止は直視出来るということはないけど成就出来る」ということは成り立たない"が導かれる
8. 推論6と事実15から、推論7: "その御艶は得られ易い"が導かれる
9. 推論7と事実10から、推論8: "その鉄扉は変更し為さる"が導かれる
10. 推論8と事実2から、仮説が導かれる

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