仮に「この基督教は脆い」ということは本当であるとしたら「この蝉ハードタイプは修正申告であるがそれは結成しない」ということは偽だ
fact1: もしもこの基督教は脆いということはないとすれば「結成する一方で連呼しない」ということは間違っている fact2: もしこの蝉ハードタイプは右足でないなら「修正申告であるが結成しない」ということは間違いだ fact3: 「何らかの物は連呼するということはない」ということは正しいとすればそれは右足であるということはない fact4: 「この蝉ハードタイプは連呼するけれど抱き寄せない」ということは誤りだ fact5: もしもこの蝉ハードタイプは連呼するとすれば「それは埋め尽くすしかつそれは表示内容でない」ということは成り立つということはない fact6: その手摺は脆い fact7: 「この蝉ハードタイプは埋め尽くすしまたそれは表示内容だ」ということは成り立つということはない fact8: 「この蝉ハードタイプは修正申告だし加えて結成する」ということは誤りである fact9: 「この蝉ハードタイプは表示内容だけどめぼしくない」ということは成り立たない fact10: 仮にこの基督教は半角仮名でないとすれば「それは納得し易い一方で連呼しない」ということは間違いである fact11: もし「「この蝉ハードタイプは修正申告だがそれは脆いということはない」ということは成り立つ」ということは成り立たないならこの基督教は連呼するということはない fact12: もし仮に「この蝉ハードタイプは埋め尽くすけれどそれは表示内容でない」ということは成り立たないならこの基督教は脆いということはない fact13: この基督教は埋め尽くす fact14: 仮に「この基督教は脆い」ということは事実だとしたらこの蝉ハードタイプは修正申告であるけど結成しない fact15: あの不規則性は右足でない fact16: もしもこの蝉ハードタイプは表示内容だとすると「この基督教は脆くない」ということは成り立つ fact17: その土砂災害は連呼しない fact18: あの数君は表示内容だということはない fact19: この蝉ハードタイプは連呼するとすれば「埋め尽くすしそれにそれは表示内容である」ということは間違いだ fact20: もしもこの蝉ハードタイプは右足でないとすると「それは修正申告であるし加えて結成する」ということは誤りだ fact21: 仮に「この蝉ハードタイプは埋め尽くす一方で表示内容でない」ということは間違いであるなら「この基督教は脆い」ということは本当だ fact22: 仮にこの基督教は脆いならば「この蝉ハードタイプは修正申告だしそれに結成する」ということは成り立たない
void -> assump2: 以下のように仮定する。この蝉ハードタイプは連呼する; fact5 & assump2 -> int1: 「「この蝉ハードタイプは埋め尽くす一方で表示内容でない」ということは嘘である」ということは事実だ; int1 & fact12 -> int2: 「この基督教は脆くない」ということは事実だ; void -> assump1: 以下のように仮定する。この基督教は脆い; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この蝉ハードタイプは連呼しない; fact3 -> int5: 仮にこの蝉ハードタイプが連呼しないならば右足でない; int4 & int5 -> int6: この蝉ハードタイプは右足でない; int6 & fact2 -> int7: 「この蝉ハードタイプは修正申告だ一方で結成しない」ということは本当でない; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もしもこの基督教は脆いということはないとすれば「結成する一方で連呼しない」ということは間違っている fact2: もしこの蝉ハードタイプは右足でないなら「修正申告であるが結成しない」ということは間違いだ fact3: 「何らかの物は連呼するということはない」ということは正しいとすればそれは右足であるということはない fact4: 「この蝉ハードタイプは連呼するけれど抱き寄せない」ということは誤りだ fact5: もしもこの蝉ハードタイプは連呼するとすれば「それは埋め尽くすしかつそれは表示内容でない」ということは成り立つということはない fact6: その手摺は脆い fact7: 「この蝉ハードタイプは埋め尽くすしまたそれは表示内容だ」ということは成り立つということはない fact8: 「この蝉ハードタイプは修正申告だし加えて結成する」ということは誤りである fact9: 「この蝉ハードタイプは表示内容だけどめぼしくない」ということは成り立たない fact10: 仮にこの基督教は半角仮名でないとすれば「それは納得し易い一方で連呼しない」ということは間違いである fact11: もし「「この蝉ハードタイプは修正申告だがそれは脆いということはない」ということは成り立つ」ということは成り立たないならこの基督教は連呼するということはない fact12: もし仮に「この蝉ハードタイプは埋め尽くすけれどそれは表示内容でない」ということは成り立たないならこの基督教は脆いということはない fact13: この基督教は埋め尽くす fact14: 仮に「この基督教は脆い」ということは事実だとしたらこの蝉ハードタイプは修正申告であるけど結成しない fact15: あの不規則性は右足でない fact16: もしもこの蝉ハードタイプは表示内容だとすると「この基督教は脆くない」ということは成り立つ fact17: その土砂災害は連呼しない fact18: あの数君は表示内容だということはない fact19: この蝉ハードタイプは連呼するとすれば「埋め尽くすしそれにそれは表示内容である」ということは間違いだ fact20: もしもこの蝉ハードタイプは右足でないとすると「それは修正申告であるし加えて結成する」ということは誤りだ fact21: 仮に「この蝉ハードタイプは埋め尽くす一方で表示内容でない」ということは間違いであるなら「この基督教は脆い」ということは本当だ fact22: 仮にこの基督教は脆いならば「この蝉ハードタイプは修正申告だしそれに結成する」ということは成り立たない ; $hypothesis$ = 仮に「この基督教は脆い」ということは本当であるとしたら「この蝉ハードタイプは修正申告であるがそれは結成しない」ということは偽だ ; $proof$ = 
void -> assump2: 以下のように仮定する。この蝉ハードタイプは連呼する; fact5 & assump2 -> int1: 「「この蝉ハードタイプは埋め尽くす一方で表示内容でない」ということは嘘である」ということは事実だ; int1 & fact12 -> int2: 「この基督教は脆くない」ということは事実だ; void -> assump1: 以下のように仮定する。この基督教は脆い; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この蝉ハードタイプは連呼しない; fact3 -> int5: 仮にこの蝉ハードタイプが連呼しないならば右足でない; int4 & int5 -> int6: この蝉ハードタイプは右足でない; int6 & fact2 -> int7: 「この蝉ハードタイプは修正申告だ一方で結成しない」ということは本当でない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしもこの基督教は脆いということはないとすれば「結成する一方で連呼しない」ということは間違っている
事実2: もしこの蝉ハードタイプは右足でないなら「修正申告であるが結成しない」ということは間違いだ
事実3: 「何らかの物は連呼するということはない」ということは正しいとすればそれは右足であるということはない
事実4: 「この蝉ハードタイプは連呼するけれど抱き寄せない」ということは誤りだ
事実5: もしもこの蝉ハードタイプは連呼するとすれば「それは埋め尽くすしかつそれは表示内容でない」ということは成り立つということはない
事実6: その手摺は脆い
事実7: 「この蝉ハードタイプは埋め尽くすしまたそれは表示内容だ」ということは成り立つということはない
事実8: 「この蝉ハードタイプは修正申告だし加えて結成する」ということは誤りである
事実9: 「この蝉ハードタイプは表示内容だけどめぼしくない」ということは成り立たない
事実10: 仮にこの基督教は半角仮名でないとすれば「それは納得し易い一方で連呼しない」ということは間違いである
事実11: もし「「この蝉ハードタイプは修正申告だがそれは脆いということはない」ということは成り立つ」ということは成り立たないならこの基督教は連呼するということはない
事実12: もし仮に「この蝉ハードタイプは埋め尽くすけれどそれは表示内容でない」ということは成り立たないならこの基督教は脆いということはない
事実13: この基督教は埋め尽くす
事実14: 仮に「この基督教は脆い」ということは事実だとしたらこの蝉ハードタイプは修正申告であるけど結成しない
事実15: あの不規則性は右足でない
事実16: もしもこの蝉ハードタイプは表示内容だとすると「この基督教は脆くない」ということは成り立つ
事実17: その土砂災害は連呼しない
事実18: あの数君は表示内容だということはない
事実19: この蝉ハードタイプは連呼するとすれば「埋め尽くすしそれにそれは表示内容である」ということは間違いだ
事実20: もしもこの蝉ハードタイプは右足でないとすると「それは修正申告であるし加えて結成する」ということは誤りだ
事実21: 仮に「この蝉ハードタイプは埋め尽くす一方で表示内容でない」ということは間違いであるなら「この基督教は脆い」ということは本当だ
事実22: 仮にこの基督教は脆いならば「この蝉ハードタイプは修正申告だしそれに結成する」ということは成り立たない

仮説: 仮に「この基督教は脆い」ということは本当であるとしたら「この蝉ハードタイプは修正申告であるがそれは結成しない」ということは偽だ
1. 仮定2: 以下のように仮定する。この蝉ハードタイプは連呼する
2. 事実5と仮定2から、推論1: "「「この蝉ハードタイプは埋め尽くす一方で表示内容でない」ということは嘘である」ということは事実だ"が導かれる
3. 推論1と事実12から、推論2: "「この基督教は脆くない」ということは事実だ"が導かれる
4. 仮定1: 以下のように仮定する。この基督教は脆い
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "この蝉ハードタイプは連呼しない"が導かれる
7. 事実3から、推論5: "仮にこの蝉ハードタイプが連呼しないならば右足でない"が導かれる
8. 推論4と推論5から、推論6: "この蝉ハードタイプは右足でない"が導かれる
9. 推論6と事実2から、推論7: "「この蝉ハードタイプは修正申告だ一方で結成しない」ということは本当でない"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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