もし仮にその実現手段は香しいということはないなら「それは継続し難くないかあるいは取り次がないかまたは両方だ」ということは偽だ
fact1: もしその実現手段は香しいとすれば「それは継続し難くないか取り次がないかもしくは両方ともだ」ということは間違っている fact2: その実現手段は継続し難くないならばそれは凭せる fact3: 仮にその実現手段は継続し難くないならば欲張らない fact4: もし仮にその実現手段は継続し難くないかあるいは取り次がないかまたは両方であるとすれば「それは欲張らない」ということは本当である fact5: もしあの山鹿荘は異能者でないとすると「それは江戸参府でないかあるいはそれは垂れ流れない」ということは成り立たない fact6: もしその臨月が欲張らないならそれは傷付け易いということはないかもしくは後ろ暗くない fact7: もしもなにかは取り次がないとしたら継続し難い fact8: もしその実現手段が香しかないとするとそれは継続し難い fact9: その実現手段は継続し難い fact10: あの圧縮は内装工事でないとしたら欲張るし更に俗っぽい fact11: もし仮にその実現手段が事業化するということはないならばそれが取り次はない fact12: もし「その敷布団は継続し難くないかあるいはＧ欄でないかあるいは両方ともである」ということは真実だとしたら冗談っぽくない fact13: あの圧縮が欲張るし俗っぽいとしたらあの弗素以外は欲張らない fact14: 仮に何かは欲張らないならそれは香しい fact15: もし仮にその実現手段が継続し難くないかもしくは取り次ぐか両方ともだとすると欲張らない fact16: もし仮にあの弗素以外がとろくないしかつそれが香しかないならその実現手段はとろくない fact17: 香しかないものは陥り易くないか欲張らないかもしくはどちらもだ fact18: もし「その実現手段は取り次がない」ということは本当だとしたら議決権行使書である fact19: その実現手段は継続し難いか取り次がないかあるいはどちらもである
void -> assump1: 以下のように仮定する。その実現手段が継続し難くないかもしくはそれが取り次はない; fact4 & assump1 -> int1: その実現手段は欲張らない; fact14 -> int2: もし仮にその実現手段が欲張らないなら香しい; int1 & int2 -> int3: その実現手段は香しい; void -> assump2: 以下のように仮定する。その実現手段は香しかない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その実現手段は継続し難くないか取り次がないかまたは両方ともだ」ということは成り立つということはない; [assump2] & int5 -> hypothesis;
その実現手段はとろいということはない
$facts$ = fact1: もしその実現手段は香しいとすれば「それは継続し難くないか取り次がないかもしくは両方ともだ」ということは間違っている fact2: その実現手段は継続し難くないならばそれは凭せる fact3: 仮にその実現手段は継続し難くないならば欲張らない fact4: もし仮にその実現手段は継続し難くないかあるいは取り次がないかまたは両方であるとすれば「それは欲張らない」ということは本当である fact5: もしあの山鹿荘は異能者でないとすると「それは江戸参府でないかあるいはそれは垂れ流れない」ということは成り立たない fact6: もしその臨月が欲張らないならそれは傷付け易いということはないかもしくは後ろ暗くない fact7: もしもなにかは取り次がないとしたら継続し難い fact8: もしその実現手段が香しかないとするとそれは継続し難い fact9: その実現手段は継続し難い fact10: あの圧縮は内装工事でないとしたら欲張るし更に俗っぽい fact11: もし仮にその実現手段が事業化するということはないならばそれが取り次はない fact12: もし「その敷布団は継続し難くないかあるいはＧ欄でないかあるいは両方ともである」ということは真実だとしたら冗談っぽくない fact13: あの圧縮が欲張るし俗っぽいとしたらあの弗素以外は欲張らない fact14: 仮に何かは欲張らないならそれは香しい fact15: もし仮にその実現手段が継続し難くないかもしくは取り次ぐか両方ともだとすると欲張らない fact16: もし仮にあの弗素以外がとろくないしかつそれが香しかないならその実現手段はとろくない fact17: 香しかないものは陥り易くないか欲張らないかもしくはどちらもだ fact18: もし「その実現手段は取り次がない」ということは本当だとしたら議決権行使書である fact19: その実現手段は継続し難いか取り次がないかあるいはどちらもである ; $hypothesis$ = もし仮にその実現手段は香しいということはないなら「それは継続し難くないかあるいは取り次がないかまたは両方だ」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その実現手段が継続し難くないかもしくはそれが取り次はない; fact4 & assump1 -> int1: その実現手段は欲張らない; fact14 -> int2: もし仮にその実現手段が欲張らないなら香しい; int1 & int2 -> int3: その実現手段は香しい; void -> assump2: 以下のように仮定する。その実現手段は香しかない; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その実現手段は継続し難くないか取り次がないかまたは両方ともだ」ということは成り立つということはない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: もしその実現手段は香しいとすれば「それは継続し難くないか取り次がないかもしくは両方ともだ」ということは間違っている
事実2: その実現手段は継続し難くないならばそれは凭せる
事実3: 仮にその実現手段は継続し難くないならば欲張らない
事実4: もし仮にその実現手段は継続し難くないかあるいは取り次がないかまたは両方であるとすれば「それは欲張らない」ということは本当である
事実5: もしあの山鹿荘は異能者でないとすると「それは江戸参府でないかあるいはそれは垂れ流れない」ということは成り立たない
事実6: もしその臨月が欲張らないならそれは傷付け易いということはないかもしくは後ろ暗くない
事実7: もしもなにかは取り次がないとしたら継続し難い
事実8: もしその実現手段が香しかないとするとそれは継続し難い
事実9: その実現手段は継続し難い
事実10: あの圧縮は内装工事でないとしたら欲張るし更に俗っぽい
事実11: もし仮にその実現手段が事業化するということはないならばそれが取り次はない
事実12: もし「その敷布団は継続し難くないかあるいはＧ欄でないかあるいは両方ともである」ということは真実だとしたら冗談っぽくない
事実13: あの圧縮が欲張るし俗っぽいとしたらあの弗素以外は欲張らない
事実14: 仮に何かは欲張らないならそれは香しい
事実15: もし仮にその実現手段が継続し難くないかもしくは取り次ぐか両方ともだとすると欲張らない
事実16: もし仮にあの弗素以外がとろくないしかつそれが香しかないならその実現手段はとろくない
事実17: 香しかないものは陥り易くないか欲張らないかもしくはどちらもだ
事実18: もし「その実現手段は取り次がない」ということは本当だとしたら議決権行使書である
事実19: その実現手段は継続し難いか取り次がないかあるいはどちらもである

仮説: もし仮にその実現手段は香しいということはないなら「それは継続し難くないかあるいは取り次がないかまたは両方だ」ということは偽だ
1. 仮定1: 以下のように仮定する。その実現手段が継続し難くないかもしくはそれが取り次はない
2. 事実4と仮定1から、推論1: "その実現手段は欲張らない"が導かれる
3. 事実14から、推論2: "もし仮にその実現手段が欲張らないなら香しい"が導かれる
4. 推論1と推論2から、推論3: "その実現手段は香しい"が導かれる
5. 仮定2: 以下のように仮定する。その実現手段は香しかない
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "「その実現手段は継続し難くないか取り次がないかまたは両方ともだ」ということは成り立つということはない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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