この夜間痛はのんだくれであるということはない
fact1: もしも「この根回しは荒々しいが詰まない」ということは成り立たないならこの夜間痛はのんだくれである fact2: 仮に何かは木らしくないなら「雪深いしそれにそれは辛くない」ということは事実と異なる fact3: もし仮に「あの国司は土地価格でなくてしかもそれは雪深くない」ということは成り立たないなら「この夜間痛はのんだくれでない」ということは成り立つ fact4: 「あの国司は土地価格だが雪深くない」ということは成り立たない fact5: 仮に木らしい物は隣接しないとすると「荒々しい」ということは事実である fact6: 仮になにがしかの物が木らしいけれど詰まないとするとのんだくれだ fact7: もしあの国司は木らしいし隣接するとしたら荒々しい fact8: この夜間痛は隣接する fact9: もし仮にあの国司が辛いとすれば木らしいけど隣接しない fact10: 「あの国司は滑り易いということはないが隣接する」ということは本当だということはない fact11: あの国司は辛い fact12: もしものんだくれが荒々しくないとすればそれは木らしい fact13: その額田王はのんだくれである fact14: この夜間痛は辛いということはない fact15: この夜間痛は浮き易いがしかし連射しない fact16: もしもあの国司は詰まないとすれば「土地価格だけど雪深くない」ということは間違っている fact17: あの国司は詰まないとしたら「「土地価格でなくて更にそれは雪深い」ということは成り立つ」ということは成り立つということはない fact18: あの国司は切り離し難いということはない fact19: 仮に何かは詰まないならば「土地価格でないしその上雪深くない」ということは成り立たない fact20: この夜間痛は荒々しくない fact21: もしもあるものが荒々しいとすると詰まない
fact5 -> int1: もしあの国司が木らしいけど隣接しないとすると荒々しい; fact11 & fact9 -> int2: あの国司は木らしいが隣接しない; int1 & int2 -> int3: あの国司は荒々しい; fact21 -> int4: もし仮にあの国司は荒々しいとすれば「詰まない」ということは本当である; int3 & int4 -> int5: 「あの国司は詰まない」ということは確かだ; fact19 -> int6: 仮に「あの国司は詰まない」ということは成り立つとすると「それは土地価格だということはないしおまけに雪深くない」ということは誤りだ; int5 & int6 -> int7: 「あの国司は土地価格であるということはないしそれに雪深いということはない」ということは偽である; int7 & fact3 -> hypothesis;
この夜間痛はのんだくれである
$facts$ = fact1: もしも「この根回しは荒々しいが詰まない」ということは成り立たないならこの夜間痛はのんだくれである fact2: 仮に何かは木らしくないなら「雪深いしそれにそれは辛くない」ということは事実と異なる fact3: もし仮に「あの国司は土地価格でなくてしかもそれは雪深くない」ということは成り立たないなら「この夜間痛はのんだくれでない」ということは成り立つ fact4: 「あの国司は土地価格だが雪深くない」ということは成り立たない fact5: 仮に木らしい物は隣接しないとすると「荒々しい」ということは事実である fact6: 仮になにがしかの物が木らしいけれど詰まないとするとのんだくれだ fact7: もしあの国司は木らしいし隣接するとしたら荒々しい fact8: この夜間痛は隣接する fact9: もし仮にあの国司が辛いとすれば木らしいけど隣接しない fact10: 「あの国司は滑り易いということはないが隣接する」ということは本当だということはない fact11: あの国司は辛い fact12: もしものんだくれが荒々しくないとすればそれは木らしい fact13: その額田王はのんだくれである fact14: この夜間痛は辛いということはない fact15: この夜間痛は浮き易いがしかし連射しない fact16: もしもあの国司は詰まないとすれば「土地価格だけど雪深くない」ということは間違っている fact17: あの国司は詰まないとしたら「「土地価格でなくて更にそれは雪深い」ということは成り立つ」ということは成り立つということはない fact18: あの国司は切り離し難いということはない fact19: 仮に何かは詰まないならば「土地価格でないしその上雪深くない」ということは成り立たない fact20: この夜間痛は荒々しくない fact21: もしもあるものが荒々しいとすると詰まない ; $hypothesis$ = この夜間痛はのんだくれであるということはない ; $proof$ = 
fact5 -> int1: もしあの国司が木らしいけど隣接しないとすると荒々しい; fact11 & fact9 -> int2: あの国司は木らしいが隣接しない; int1 & int2 -> int3: あの国司は荒々しい; fact21 -> int4: もし仮にあの国司は荒々しいとすれば「詰まない」ということは本当である; int3 & int4 -> int5: 「あの国司は詰まない」ということは確かだ; fact19 -> int6: 仮に「あの国司は詰まない」ということは成り立つとすると「それは土地価格だということはないしおまけに雪深くない」ということは誤りだ; int5 & int6 -> int7: 「あの国司は土地価格であるということはないしそれに雪深いということはない」ということは偽である; int7 & fact3 -> hypothesis; __PROVED__
事実1: もしも「この根回しは荒々しいが詰まない」ということは成り立たないならこの夜間痛はのんだくれである
事実2: 仮に何かは木らしくないなら「雪深いしそれにそれは辛くない」ということは事実と異なる
事実3: もし仮に「あの国司は土地価格でなくてしかもそれは雪深くない」ということは成り立たないなら「この夜間痛はのんだくれでない」ということは成り立つ
事実4: 「あの国司は土地価格だが雪深くない」ということは成り立たない
事実5: 仮に木らしい物は隣接しないとすると「荒々しい」ということは事実である
事実6: 仮になにがしかの物が木らしいけれど詰まないとするとのんだくれだ
事実7: もしあの国司は木らしいし隣接するとしたら荒々しい
事実8: この夜間痛は隣接する
事実9: もし仮にあの国司が辛いとすれば木らしいけど隣接しない
事実10: 「あの国司は滑り易いということはないが隣接する」ということは本当だということはない
事実11: あの国司は辛い
事実12: もしものんだくれが荒々しくないとすればそれは木らしい
事実13: その額田王はのんだくれである
事実14: この夜間痛は辛いということはない
事実15: この夜間痛は浮き易いがしかし連射しない
事実16: もしもあの国司は詰まないとすれば「土地価格だけど雪深くない」ということは間違っている
事実17: あの国司は詰まないとしたら「「土地価格でなくて更にそれは雪深い」ということは成り立つ」ということは成り立つということはない
事実18: あの国司は切り離し難いということはない
事実19: 仮に何かは詰まないならば「土地価格でないしその上雪深くない」ということは成り立たない
事実20: この夜間痛は荒々しくない
事実21: もしもあるものが荒々しいとすると詰まない

仮説: この夜間痛はのんだくれであるということはない
1. 事実5から、推論1: "もしあの国司が木らしいけど隣接しないとすると荒々しい"が導かれる
2. 事実11と事実9から、推論2: "あの国司は木らしいが隣接しない"が導かれる
3. 推論1と推論2から、推論3: "あの国司は荒々しい"が導かれる
4. 事実21から、推論4: "もし仮にあの国司は荒々しいとすれば「詰まない」ということは本当である"が導かれる
5. 推論3と推論4から、推論5: "「あの国司は詰まない」ということは確かだ"が導かれる
6. 事実19から、推論6: "仮に「あの国司は詰まない」ということは成り立つとすると「それは土地価格だということはないしおまけに雪深くない」ということは誤りだ"が導かれる
7. 推論5と推論6から、推論7: "「あの国司は土地価格であるということはないしそれに雪深いということはない」ということは偽である"が導かれる
8. 推論7と事実3から、仮説が導かれる

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