この仏寺は薄くないなら「この第十七章は法人企業だしそれに立ち向かえる」ということは間違いである
fact1: なんらかのものは根治しないか絡め合わせるかあるいはどちらもだとすると法人企業でない fact2: そのグアテマラ人は法人企業でないとすれば「この第十七章は法人企業であるし更に立ち向かえる」ということは成り立たない fact3: もしそのグアテマラ人が法人企業でないとすればこの第十七章は法人企業であるし更に立ち向かえる fact4: この第十七章は絡め合わせらないか法人企業である fact5: もしもこの仏寺が法人企業でないかあるいは如此しかあるいはどちらもだとすればそれは薄くない fact6: 仮にあの戦後生まれは如此しということはないなら「そのグアテマラ人は根治しないかそれは絡め合わせる」ということは確かである fact7: あの戦後生まれは立ち向かえない fact8: 仮にこの仏寺が法人企業であるということはないならばあの戦後生まれは薄くないかもしくはそれは如此しかもしくは両方である fact9: もしもそのグアテマラ人は根治しないとしたら「この仏寺は薄くてさらに立ち向かえる」ということは成り立たない fact10: もし仮にあの戦後生まれが如此しとすればこの仏寺は薄い fact11: この第十七章は法人企業でないかもしくは薄いかもしくはどちらもである fact12: 「あの戦後生まれは如此しし加えてそれは法人企業だ」ということは偽だ fact13: あの肌馴染みは根治するし当て付けがましい fact14: この第十七章は法人企業であるし立ち向かえる fact15: 「この仏寺は薄くない」ということは成り立つとすればこの第十七章は法人企業であるしそれは立ち向かえる fact16: もし仮にこの第十七章が法人企業でないとしたらそのグアテマラ人は法人企業であるしその上それは立ち向かえる fact17: もし仮に何かは法人企業でないとすれば「それは絡め合わせるということはなくてしかも薄くない」ということは偽だ fact18: もし仮にそのグアテマラ人が絡め合わせるとすれば法人企業だということはない fact19: もし仮になにがしかのものが絡め合わせるとすると法人企業だということはない fact20: この第十七章は各国内でない fact21: 如此し物は根治しないか十年以内であるかあるいはどちらもだ
void -> assump2: 以下のように仮定する。あの戦後生まれは如此し; fact10 & assump2 -> int1: この仏寺は薄い; void -> assump1: 以下のように仮定する。この仏寺は薄くない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの戦後生まれは如此しない; int3 & fact6 -> int4: そのグアテマラ人は根治しないかもしくは絡め合わせるかまたは両方ともである; fact1 -> int5: もしもそのグアテマラ人が根治するということはないかもしくは絡め合わせるとしたら法人企業でない; int4 & int5 -> int6: 「そのグアテマラ人は法人企業でない」ということは成り立つ; int6 & fact2 -> int7: 「「この第十七章は法人企業であるしおまけにそれは立ち向かえる」ということは成り立つ」ということは間違いである; [assump1] & int7 -> hypothesis;
「この第十七章は根治しないかまたは十年以内であるか両方である」ということは成り立つ
fact23 -> int8: 仮にこの第十七章が如此しならばそれは根治しないかまたは十年以内であるかもしくは両方ともだ; fact22 -> int9: この第十七章は法人企業でないなら「絡め合わせらないし薄くない」ということは嘘である;
$facts$ = fact1: なんらかのものは根治しないか絡め合わせるかあるいはどちらもだとすると法人企業でない fact2: そのグアテマラ人は法人企業でないとすれば「この第十七章は法人企業であるし更に立ち向かえる」ということは成り立たない fact3: もしそのグアテマラ人が法人企業でないとすればこの第十七章は法人企業であるし更に立ち向かえる fact4: この第十七章は絡め合わせらないか法人企業である fact5: もしもこの仏寺が法人企業でないかあるいは如此しかあるいはどちらもだとすればそれは薄くない fact6: 仮にあの戦後生まれは如此しということはないなら「そのグアテマラ人は根治しないかそれは絡め合わせる」ということは確かである fact7: あの戦後生まれは立ち向かえない fact8: 仮にこの仏寺が法人企業であるということはないならばあの戦後生まれは薄くないかもしくはそれは如此しかもしくは両方である fact9: もしもそのグアテマラ人は根治しないとしたら「この仏寺は薄くてさらに立ち向かえる」ということは成り立たない fact10: もし仮にあの戦後生まれが如此しとすればこの仏寺は薄い fact11: この第十七章は法人企業でないかもしくは薄いかもしくはどちらもである fact12: 「あの戦後生まれは如此しし加えてそれは法人企業だ」ということは偽だ fact13: あの肌馴染みは根治するし当て付けがましい fact14: この第十七章は法人企業であるし立ち向かえる fact15: 「この仏寺は薄くない」ということは成り立つとすればこの第十七章は法人企業であるしそれは立ち向かえる fact16: もし仮にこの第十七章が法人企業でないとしたらそのグアテマラ人は法人企業であるしその上それは立ち向かえる fact17: もし仮に何かは法人企業でないとすれば「それは絡め合わせるということはなくてしかも薄くない」ということは偽だ fact18: もし仮にそのグアテマラ人が絡め合わせるとすれば法人企業だということはない fact19: もし仮になにがしかのものが絡め合わせるとすると法人企業だということはない fact20: この第十七章は各国内でない fact21: 如此し物は根治しないか十年以内であるかあるいはどちらもだ ; $hypothesis$ = この仏寺は薄くないなら「この第十七章は法人企業だしそれに立ち向かえる」ということは間違いである ; $proof$ = 
void -> assump2: 以下のように仮定する。あの戦後生まれは如此し; fact10 & assump2 -> int1: この仏寺は薄い; void -> assump1: 以下のように仮定する。この仏寺は薄くない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: あの戦後生まれは如此しない; int3 & fact6 -> int4: そのグアテマラ人は根治しないかもしくは絡め合わせるかまたは両方ともである; fact1 -> 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: 如此し物は根治しないか十年以内であるかあるいはどちらもだ

仮説: この仏寺は薄くないなら「この第十七章は法人企業だしそれに立ち向かえる」ということは間違いである
1. 仮定2: 以下のように仮定する。あの戦後生まれは如此し
2. 事実10と仮定2から、推論1: "この仏寺は薄い"が導かれる
3. 仮定1: 以下のように仮定する。この仏寺は薄くない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "あの戦後生まれは如此しない"が導かれる
6. 推論3と事実6から、推論4: "そのグアテマラ人は根治しないかもしくは絡め合わせるかまたは両方ともである"が導かれる
7. 事実1から、推論5: "もしもそのグアテマラ人が根治するということはないかもしくは絡め合わせるとしたら法人企業でない"が導かれる
8. 推論4と推論5から、推論6: "「そのグアテマラ人は法人企業でない」ということは成り立つ"が導かれる
9. 推論6と事実2から、推論7: "「「この第十七章は法人企業であるしおまけにそれは立ち向かえる」ということは成り立つ」ということは間違いである"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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