もし仮にこのリゾート開発は倫理・道徳であるならば「この百年余りは下がり過ぎる」ということは成り立つ
fact1: もし仮になにかは浅ましないとしたら「「それが倫理・道徳だしタルムードでない」ということは本当だ」ということは成り立たない fact2: この百年余りは流され易くない fact3: もし「このリゾート開発は浅ましし更に倫理・道徳だ」ということは嘘でないならタルムードだ fact4: 仮にその葉身が子えいであるとしたらこの百年余りは高ぶる fact5: 仮にこのリゾート開発は癒し難いということはないなら「それは来寇でないが浅まし」ということは偽である fact6: このリゾート開発は癒し難くない fact7: もし仮にこの百年余りは浅ましない一方でタルムードであるとすると「下がり過ぎる」ということは成り立つ fact8: 「このリゾート開発が倫理・道徳であるならばこの百年余りは子えいである」ということは確かだ fact9: この百年余りは子えいでないけれど下がり過ぎるとすると「それは倫理・道徳だ」ということは本当だ fact10: もし仮に「なにがしかのものは来寇でないけど浅まし」ということは嘘だとしたら「浅ましということはない」ということは真実である fact11: 仮にこの百年余りが倫理・道徳だとすればあのリゾート開発は浅まし fact12: もしこの百年余りが浅ましし加えてタルムードであるならばそれは下がり過ぎる fact13: 「このリゾート開発は倫理・道徳であるがしかしタルムードでない」ということは偽ならばこの百年余りは倫理・道徳であるということはない fact14: もしこの百年余りが倫理・道徳なら下がり過ぎるということはなくてそれに浅まし fact15: この百年余りは子えいであるなら浅ましないけどタルムードである fact16: もし仮にこの百年余りは倫理・道徳であるとしたら「それは浅ましない」ということは真実である
void -> assump1: 以下のように仮定する。このリゾート開発は倫理・道徳だ; fact8 & assump1 -> int1: この百年余りは子えいである; int1 & fact15 -> int2: この百年余りは浅ましないけどそれはタルムードだ; int2 & fact7 -> int3: この百年余りは下がり過ぎる; [assump1] & int3 -> hypothesis;
この百年余りは倫理・道徳でないけれど高ぶる
fact19 -> int4: 仮にこのリゾート開発は浅ましないとすれば「それは倫理・道徳であるけどタルムードであるということはない」ということは間違いである; fact22 -> int5: もし仮に「このリゾート開発は来寇でない一方で浅まし」ということは間違っているとすると浅ましということはない; fact17 & fact18 -> int6: 「このリゾート開発は来寇でないが浅まし」ということは事実でない; int5 & int6 -> int7: このリゾート開発は浅ましない; int4 & int7 -> int8: 「このリゾート開発は倫理・道徳だけれどタルムードでない」ということは間違っている; fact20 & int8 -> int9: この百年余りは倫理・道徳でない;
$facts$ = fact1: もし仮になにかは浅ましないとしたら「「それが倫理・道徳だしタルムードでない」ということは本当だ」ということは成り立たない fact2: この百年余りは流され易くない fact3: もし「このリゾート開発は浅ましし更に倫理・道徳だ」ということは嘘でないならタルムードだ fact4: 仮にその葉身が子えいであるとしたらこの百年余りは高ぶる fact5: 仮にこのリゾート開発は癒し難いということはないなら「それは来寇でないが浅まし」ということは偽である fact6: このリゾート開発は癒し難くない fact7: もし仮にこの百年余りは浅ましない一方でタルムードであるとすると「下がり過ぎる」ということは成り立つ fact8: 「このリゾート開発が倫理・道徳であるならばこの百年余りは子えいである」ということは確かだ fact9: この百年余りは子えいでないけれど下がり過ぎるとすると「それは倫理・道徳だ」ということは本当だ fact10: もし仮に「なにがしかのものは来寇でないけど浅まし」ということは嘘だとしたら「浅ましということはない」ということは真実である fact11: 仮にこの百年余りが倫理・道徳だとすればあのリゾート開発は浅まし fact12: もしこの百年余りが浅ましし加えてタルムードであるならばそれは下がり過ぎる fact13: 「このリゾート開発は倫理・道徳であるがしかしタルムードでない」ということは偽ならばこの百年余りは倫理・道徳であるということはない fact14: もしこの百年余りが倫理・道徳なら下がり過ぎるということはなくてそれに浅まし fact15: この百年余りは子えいであるなら浅ましないけどタルムードである fact16: もし仮にこの百年余りは倫理・道徳であるとしたら「それは浅ましない」ということは真実である ; $hypothesis$ = もし仮にこのリゾート開発は倫理・道徳であるならば「この百年余りは下がり過ぎる」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。このリゾート開発は倫理・道徳だ; fact8 & assump1 -> int1: この百年余りは子えいである; int1 & fact15 -> int2: この百年余りは浅ましないけどそれはタルムードだ; int2 & fact7 -> int3: この百年余りは下がり過ぎる; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮になにかは浅ましないとしたら「「それが倫理・道徳だしタルムードでない」ということは本当だ」ということは成り立たない
事実2: この百年余りは流され易くない
事実3: もし「このリゾート開発は浅ましし更に倫理・道徳だ」ということは嘘でないならタルムードだ
事実4: 仮にその葉身が子えいであるとしたらこの百年余りは高ぶる
事実5: 仮にこのリゾート開発は癒し難いということはないなら「それは来寇でないが浅まし」ということは偽である
事実6: このリゾート開発は癒し難くない
事実7: もし仮にこの百年余りは浅ましない一方でタルムードであるとすると「下がり過ぎる」ということは成り立つ
事実8: 「このリゾート開発が倫理・道徳であるならばこの百年余りは子えいである」ということは確かだ
事実9: この百年余りは子えいでないけれど下がり過ぎるとすると「それは倫理・道徳だ」ということは本当だ
事実10: もし仮に「なにがしかのものは来寇でないけど浅まし」ということは嘘だとしたら「浅ましということはない」ということは真実である
事実11: 仮にこの百年余りが倫理・道徳だとすればあのリゾート開発は浅まし
事実12: もしこの百年余りが浅ましし加えてタルムードであるならばそれは下がり過ぎる
事実13: 「このリゾート開発は倫理・道徳であるがしかしタルムードでない」ということは偽ならばこの百年余りは倫理・道徳であるということはない
事実14: もしこの百年余りが倫理・道徳なら下がり過ぎるということはなくてそれに浅まし
事実15: この百年余りは子えいであるなら浅ましないけどタルムードである
事実16: もし仮にこの百年余りは倫理・道徳であるとしたら「それは浅ましない」ということは真実である

仮説: もし仮にこのリゾート開発は倫理・道徳であるならば「この百年余りは下がり過ぎる」ということは成り立つ
1. 仮定1: 以下のように仮定する。このリゾート開発は倫理・道徳だ
2. 事実8と仮定1から、推論1: "この百年余りは子えいである"が導かれる
3. 推論1と事実15から、推論2: "この百年余りは浅ましないけどそれはタルムードだ"が導かれる
4. 推論2と事実7から、推論3: "この百年余りは下がり過ぎる"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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