この海洋都市は理解し難くない
fact1: 「もしとある物は忘れ為さらないならば「それはヘッジ有効性でないけど剥がれ易い」ということは偽だ」ということは事実だ fact2: 仮にあの自然食が逞しいしそれに剥がれ易いとすればこの母体行はヘッジ有効性でない fact3: あの自然食は忘れ為さる fact4: もしあの自然食が逞しくないけど忘れ為さればこの海洋都市は理解し難い fact5: 「この母体行はヘッジ有効性であるしそれは迷い易い」ということは本当である fact6: もし仮に「なんらかのものは理解し難くてさらに剥がれ易い」ということは誤りだとしたらそれは理解し難くない fact7: あの自然食は剥がれ易い fact8: あの公的セクターは忘れ為さる
void -> assump1: 以下のように仮定する。あの自然食は逞しい; assump1 & fact7 -> int1: あの自然食は逞しくて剥がれ易い; int1 & fact2 -> int2: この母体行はヘッジ有効性であるということはない; fact5 -> int3: この母体行はヘッジ有効性だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの自然食は逞しいということはない; int5 & fact3 -> int6: あの自然食は逞しくないが忘れ為さる; int6 & fact4 -> hypothesis;
そのポコは逞しくない
fact9 -> int7: もしあの自然食は忘れ為さらないとすると「それはヘッジ有効性でないけれど剥がれ易い」ということは成り立たない;
$facts$ = fact1: 「もしとある物は忘れ為さらないならば「それはヘッジ有効性でないけど剥がれ易い」ということは偽だ」ということは事実だ fact2: 仮にあの自然食が逞しいしそれに剥がれ易いとすればこの母体行はヘッジ有効性でない fact3: あの自然食は忘れ為さる fact4: もしあの自然食が逞しくないけど忘れ為さればこの海洋都市は理解し難い fact5: 「この母体行はヘッジ有効性であるしそれは迷い易い」ということは本当である fact6: もし仮に「なんらかのものは理解し難くてさらに剥がれ易い」ということは誤りだとしたらそれは理解し難くない fact7: あの自然食は剥がれ易い fact8: あの公的セクターは忘れ為さる ; $hypothesis$ = この海洋都市は理解し難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの自然食は逞しい; assump1 & fact7 -> int1: あの自然食は逞しくて剥がれ易い; int1 & fact2 -> int2: この母体行はヘッジ有効性であるということはない; fact5 -> int3: この母体行はヘッジ有効性だ; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの自然食は逞しいということはない; int5 & fact3 -> int6: あの自然食は逞しくないが忘れ為さる; int6 & fact4 -> hypothesis; __DISPROVED__
事実1: 「もしとある物は忘れ為さらないならば「それはヘッジ有効性でないけど剥がれ易い」ということは偽だ」ということは事実だ
事実2: 仮にあの自然食が逞しいしそれに剥がれ易いとすればこの母体行はヘッジ有効性でない
事実3: あの自然食は忘れ為さる
事実4: もしあの自然食が逞しくないけど忘れ為さればこの海洋都市は理解し難い
事実5: 「この母体行はヘッジ有効性であるしそれは迷い易い」ということは本当である
事実6: もし仮に「なんらかのものは理解し難くてさらに剥がれ易い」ということは誤りだとしたらそれは理解し難くない
事実7: あの自然食は剥がれ易い
事実8: あの公的セクターは忘れ為さる

仮説: この海洋都市は理解し難くない
1. 仮定1: 以下のように仮定する。あの自然食は逞しい
2. 仮定1と事実7から、推論1: "あの自然食は逞しくて剥がれ易い"が導かれる
3. 推論1と事実2から、推論2: "この母体行はヘッジ有効性であるということはない"が導かれる
4. 事実5から、推論3: "この母体行はヘッジ有効性だ"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの自然食は逞しいということはない"が導かれる
7. 推論5と事実3から、推論6: "あの自然食は逞しくないが忘れ為さる"が導かれる
8. 推論6と事実4から、仮説が否定される

よって、仮説が否定されました。