もしもその激突は継げるなら「「「その高台寺は生き長らえるがしかしそれは生活し易いということはない」ということは成り立つ」ということは偽だ」ということは確かである
fact1: 「もし「その激突は生活し易くない」ということは成り立てば「その高台寺は生き長らえるけれど生活し易くない」ということは嘘である」ということは正しい fact2: その激突は調達過程だしぼろい fact3: 「その高台寺は生き長らえるしかつ生活し易い」ということは成り立たない fact4: その激突は調達過程だ fact5: 利き難くない物は継げるということはない fact6: 仮にその激突はぼろいし生活し易いとしたら利き難いということはない
fact2 -> int1: 「その激突はぼろい」ということは成り立つ; void -> assump1: 以下のように仮定する。「その激突は生活し易い」ということは本当である; int1 & assump1 -> int2: その激突はぼろくてそれに生活し易い; int2 & fact6 -> int3: その激突は利き難くない; fact5 -> int4: その激突が利き難いということはないならば継げない; int3 & int4 -> int5: その激突は継げるということはない; void -> assump2: 以下のように仮定する。その激突は継げる; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: その激突は生活し易くない; int7 & fact1 -> int8: 「その高台寺は生き長らえるがしかし生活し易くない」ということは偽である; [assump2] & int8 -> hypothesis;
$facts$ = fact1: 「もし「その激突は生活し易くない」ということは成り立てば「その高台寺は生き長らえるけれど生活し易くない」ということは嘘である」ということは正しい fact2: その激突は調達過程だしぼろい fact3: 「その高台寺は生き長らえるしかつ生活し易い」ということは成り立たない fact4: その激突は調達過程だ fact5: 利き難くない物は継げるということはない fact6: 仮にその激突はぼろいし生活し易いとしたら利き難いということはない ; $hypothesis$ = もしもその激突は継げるなら「「「その高台寺は生き長らえるがしかしそれは生活し易いということはない」ということは成り立つ」ということは偽だ」ということは確かである ; $proof$ = 
fact2 -> int1: 「その激突はぼろい」ということは成り立つ; void -> assump1: 以下のように仮定する。「その激突は生活し易い」ということは本当である; int1 & assump1 -> int2: その激突はぼろくてそれに生活し易い; int2 & fact6 -> int3: その激突は利き難くない; fact5 -> int4: その激突が利き難いということはないならば継げない; int3 & int4 -> int5: その激突は継げるということはない; void -> assump2: 以下のように仮定する。その激突は継げる; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: その激突は生活し易くない; int7 & fact1 -> int8: 「その高台寺は生き長らえるがしかし生活し易くない」ということは偽である; [assump2] & int8 -> hypothesis; __PROVED__
事実1: 「もし「その激突は生活し易くない」ということは成り立てば「その高台寺は生き長らえるけれど生活し易くない」ということは嘘である」ということは正しい
事実2: その激突は調達過程だしぼろい
事実3: 「その高台寺は生き長らえるしかつ生活し易い」ということは成り立たない
事実4: その激突は調達過程だ
事実5: 利き難くない物は継げるということはない
事実6: 仮にその激突はぼろいし生活し易いとしたら利き難いということはない

仮説: もしもその激突は継げるなら「「「その高台寺は生き長らえるがしかしそれは生活し易いということはない」ということは成り立つ」ということは偽だ」ということは確かである
1. 事実2から、推論1: "「その激突はぼろい」ということは成り立つ"が導かれる
2. 仮定1: 以下のように仮定する。「その激突は生活し易い」ということは本当である
3. 推論1と仮定1から、推論2: "その激突はぼろくてそれに生活し易い"が導かれる
4. 推論2と事実6から、推論3: "その激突は利き難くない"が導かれる
5. 事実5から、推論4: "その激突が利き難いということはないならば継げない"が導かれる
6. 推論3と推論4から、推論5: "その激突は継げるということはない"が導かれる
7. 仮定2: 以下のように仮定する。その激突は継げる
8. 推論5と仮定2から、推論6: "これは矛盾である"が導かれる
9. [仮定1]と推論6から、推論7: "その激突は生活し易くない"が導かれる
10. 推論7と事実1から、推論8: "「その高台寺は生き長らえるがしかし生活し易くない」ということは偽である"が導かれる
11. [仮定2]と推論8から、仮説が導かれる

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