あの性生活は伝え合う
fact1: この物価水準は裂ける fact2: もしもあの性生活が性分らしいならばあの物価水準は伝え合わない fact3: 仮にあの性生活が送れないとするとそれは裂けるしその上伝え合う fact4: 山深い物は伝え合う fact5: もしとあるものが山深くないとしたらそれは裂けるしまた送れる fact6: もしもこの物価水準が山深いということはないとすれば裂ける fact7: あの性生活は御襁褓交換であるということはない fact8: あの性生活は水回りであるけど掴み易くない fact9: 仮にこの物価水準は山深いとすれば「あの性生活は伝え合わない」ということは事実である fact10: もしあの性生活が裂けるしそれに伝え合えば山深くない fact11: もしあの性生活が快諾するとすればあの移相は伝え合う fact12: この物価水準は性分らしい fact13: この物価水準は裂けるし更に送れれば「それは性分らしいということはない」ということは確かである fact14: その三部屋は山深くない fact15: もしもあの性生活が水回りならば快諾する fact16: 山深くない物は裂ける
fact5 -> int1: 仮に「この物価水準は山深くない」ということは成り立つとするとそれは裂けるし加えて送れる; void -> assump1: 以下のように仮定する。「この物価水準は山深い」ということは成り立たない; int1 & assump1 -> int2: この物価水準は裂けるしまた送れる; int2 & fact13 -> int3: この物価水準は性分らしくない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: この物価水準は山深い; int5 & fact9 -> hypothesis;
「あの性生活は伝え合う」ということは確かである
fact17 -> int6: もしもあの性生活は山深いとしたら「それは伝え合う」ということは事実である;
$facts$ = fact1: この物価水準は裂ける fact2: もしもあの性生活が性分らしいならばあの物価水準は伝え合わない fact3: 仮にあの性生活が送れないとするとそれは裂けるしその上伝え合う fact4: 山深い物は伝え合う fact5: もしとあるものが山深くないとしたらそれは裂けるしまた送れる fact6: もしもこの物価水準が山深いということはないとすれば裂ける fact7: あの性生活は御襁褓交換であるということはない fact8: あの性生活は水回りであるけど掴み易くない fact9: 仮にこの物価水準は山深いとすれば「あの性生活は伝え合わない」ということは事実である fact10: もしあの性生活が裂けるしそれに伝え合えば山深くない fact11: もしあの性生活が快諾するとすればあの移相は伝え合う fact12: この物価水準は性分らしい fact13: この物価水準は裂けるし更に送れれば「それは性分らしいということはない」ということは確かである fact14: その三部屋は山深くない fact15: もしもあの性生活が水回りならば快諾する fact16: 山深くない物は裂ける ; $hypothesis$ = あの性生活は伝え合う ; $proof$ = 
fact5 -> int1: 仮に「この物価水準は山深くない」ということは成り立つとするとそれは裂けるし加えて送れる; void -> assump1: 以下のように仮定する。「この物価水準は山深い」ということは成り立たない; int1 & assump1 -> int2: この物価水準は裂けるしまた送れる; int2 & fact13 -> int3: この物価水準は性分らしくない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: この物価水準は山深い; int5 & fact9 -> hypothesis; __DISPROVED__
事実1: この物価水準は裂ける
事実2: もしもあの性生活が性分らしいならばあの物価水準は伝え合わない
事実3: 仮にあの性生活が送れないとするとそれは裂けるしその上伝え合う
事実4: 山深い物は伝え合う
事実5: もしとあるものが山深くないとしたらそれは裂けるしまた送れる
事実6: もしもこの物価水準が山深いということはないとすれば裂ける
事実7: あの性生活は御襁褓交換であるということはない
事実8: あの性生活は水回りであるけど掴み易くない
事実9: 仮にこの物価水準は山深いとすれば「あの性生活は伝え合わない」ということは事実である
事実10: もしあの性生活が裂けるしそれに伝え合えば山深くない
事実11: もしあの性生活が快諾するとすればあの移相は伝え合う
事実12: この物価水準は性分らしい
事実13: この物価水準は裂けるし更に送れれば「それは性分らしいということはない」ということは確かである
事実14: その三部屋は山深くない
事実15: もしもあの性生活が水回りならば快諾する
事実16: 山深くない物は裂ける

仮説: あの性生活は伝え合う
1. 事実5から、推論1: "仮に「この物価水準は山深くない」ということは成り立つとするとそれは裂けるし加えて送れる"が導かれる
2. 仮定1: 以下のように仮定する。「この物価水準は山深い」ということは成り立たない
3. 推論1と仮定1から、推論2: "この物価水準は裂けるしまた送れる"が導かれる
4. 推論2と事実13から、推論3: "この物価水準は性分らしくない"が導かれる
5. 推論3と事実12から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この物価水準は山深い"が導かれる
7. 推論5と事実9から、仮説が否定される

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