あの細縄は移ろう
fact1: この一件当たりは生み難い fact2: あの細縄は権利行使する fact3: もしもあの安定成長期が生活し易いとするとあの細縄は移ろう fact4: もしあの細縄は生み難くないとしたら「あの安定成長期は密閉するということはないがしかし権利行使する」ということは成り立つということはない fact5: もし仮に「あの安定成長期は密閉しない一方で権利行使する」ということは誤っているとしたらこの現場体験は振り撒くということはない fact6: もしもあの細縄は振り撒くしまた災害事例であるとすると生み難いということはない fact7: あの細縄は災害事例である fact8: あの安定成長期は災害事例でない fact9: この現場体験は振り撒く fact10: もしあの安定成長期が密閉するとするとこの現場体験は振り撒くということはない fact11: 何かは生活し易くないなら「密閉しない一方で衝突する」ということは間違いである fact12: 「あの共用品は災害事例でないけれどそれはぶん殴る」ということは間違っている fact13: あの安定成長期は移ろう fact14: 「あの安定成長期は密閉するしさらにそれは権利行使する」ということは誤っている fact15: もし「あの細縄は権利行使しないがしかし密閉する」ということは成り立たないならあの安定成長期は生み難くない fact16: この統治形態は振り撒く fact17: もしなにがしかの物は移ろうし生活し易いならそれは生み難くない fact18: あの細縄は生み難くないなら「あの安定成長期は密閉するしそれは権利行使する」ということは誤っている fact19: あの細縄は例外無くない fact20: あの細縄は生活し易いし災害事例である fact21: この現場体験は生み難くない
fact20 -> int1: あの細縄は生活し易い; void -> assump1: 以下のように仮定する。あの細縄は移ろう; int1 & assump1 -> int2: あの細縄は移ろうしさらに生活し易い; fact17 -> int3: あの細縄は移ろうし更に生活し易いとしたら生み難くない; int2 & int3 -> int4: あの細縄は生み難くない; int4 & fact4 -> int5: 「あの安定成長期は密閉しないが権利行使する」ということは誤りである; int5 & fact5 -> int6: この現場体験は振り撒かない; int6 & fact9 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「その戦略性は密閉しないけど衝突する」ということは本当でない
fact22 -> int8: もしその戦略性は生活し易くないとすれば「それは密閉しなくて衝突する」ということは嘘である;
$facts$ = fact1: この一件当たりは生み難い fact2: あの細縄は権利行使する fact3: もしもあの安定成長期が生活し易いとするとあの細縄は移ろう fact4: もしあの細縄は生み難くないとしたら「あの安定成長期は密閉するということはないがしかし権利行使する」ということは成り立つということはない fact5: もし仮に「あの安定成長期は密閉しない一方で権利行使する」ということは誤っているとしたらこの現場体験は振り撒くということはない fact6: もしもあの細縄は振り撒くしまた災害事例であるとすると生み難いということはない fact7: あの細縄は災害事例である fact8: あの安定成長期は災害事例でない fact9: この現場体験は振り撒く fact10: もしあの安定成長期が密閉するとするとこの現場体験は振り撒くということはない fact11: 何かは生活し易くないなら「密閉しない一方で衝突する」ということは間違いである fact12: 「あの共用品は災害事例でないけれどそれはぶん殴る」ということは間違っている fact13: あの安定成長期は移ろう fact14: 「あの安定成長期は密閉するしさらにそれは権利行使する」ということは誤っている fact15: もし「あの細縄は権利行使しないがしかし密閉する」ということは成り立たないならあの安定成長期は生み難くない fact16: この統治形態は振り撒く fact17: もしなにがしかの物は移ろうし生活し易いならそれは生み難くない fact18: あの細縄は生み難くないなら「あの安定成長期は密閉するしそれは権利行使する」ということは誤っている fact19: あの細縄は例外無くない fact20: あの細縄は生活し易いし災害事例である fact21: この現場体験は生み難くない ; $hypothesis$ = あの細縄は移ろう ; $proof$ = 
fact20 -> int1: あの細縄は生活し易い; void -> assump1: 以下のように仮定する。あの細縄は移ろう; int1 & assump1 -> int2: あの細縄は移ろうしさらに生活し易い; fact17 -> int3: あの細縄は移ろうし更に生活し易いとしたら生み難くない; int2 & int3 -> int4: あの細縄は生み難くない; int4 & fact4 -> int5: 「あの安定成長期は密閉しないが権利行使する」ということは誤りである; int5 & fact5 -> int6: この現場体験は振り撒かない; int6 & fact9 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: この一件当たりは生み難い
事実2: あの細縄は権利行使する
事実3: もしもあの安定成長期が生活し易いとするとあの細縄は移ろう
事実4: もしあの細縄は生み難くないとしたら「あの安定成長期は密閉するということはないがしかし権利行使する」ということは成り立つということはない
事実5: もし仮に「あの安定成長期は密閉しない一方で権利行使する」ということは誤っているとしたらこの現場体験は振り撒くということはない
事実6: もしもあの細縄は振り撒くしまた災害事例であるとすると生み難いということはない
事実7: あの細縄は災害事例である
事実8: あの安定成長期は災害事例でない
事実9: この現場体験は振り撒く
事実10: もしあの安定成長期が密閉するとするとこの現場体験は振り撒くということはない
事実11: 何かは生活し易くないなら「密閉しない一方で衝突する」ということは間違いである
事実12: 「あの共用品は災害事例でないけれどそれはぶん殴る」ということは間違っている
事実13: あの安定成長期は移ろう
事実14: 「あの安定成長期は密閉するしさらにそれは権利行使する」ということは誤っている
事実15: もし「あの細縄は権利行使しないがしかし密閉する」ということは成り立たないならあの安定成長期は生み難くない
事実16: この統治形態は振り撒く
事実17: もしなにがしかの物は移ろうし生活し易いならそれは生み難くない
事実18: あの細縄は生み難くないなら「あの安定成長期は密閉するしそれは権利行使する」ということは誤っている
事実19: あの細縄は例外無くない
事実20: あの細縄は生活し易いし災害事例である
事実21: この現場体験は生み難くない

仮説: あの細縄は移ろう
1. 事実20から、推論1: "あの細縄は生活し易い"が導かれる
2. 仮定1: 以下のように仮定する。あの細縄は移ろう
3. 推論1と仮定1から、推論2: "あの細縄は移ろうしさらに生活し易い"が導かれる
4. 事実17から、推論3: "あの細縄は移ろうし更に生活し易いとしたら生み難くない"が導かれる
5. 推論2と推論3から、推論4: "あの細縄は生み難くない"が導かれる
6. 推論4と事実4から、推論5: "「あの安定成長期は密閉しないが権利行使する」ということは誤りである"が導かれる
7. 推論5と事実5から、推論6: "この現場体験は振り撒かない"が導かれる
8. 推論6と事実9から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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