あの両山は高ぜない
fact1: あのやえん投入は役割番付・絵だがサウダージだということはない fact2: 「その八十三女は揉み消す」ということは本当である fact3: あの両山は慎み深いがしかしそれは揉み消さない fact4: もしあのやえん投入が揉み消せばサウダージだしおまけに段取りしない fact5: ある物はサウダージでないとするとそれは揉み消さなくてその上高ずらない fact6: もしもあの遺産動機・貯蓄動機が大人らしいししかもファイリング制度だとするとあの両山はサウダージでない fact7: もしあの両山が大人らしいとしたら揉み消すしそれは行われ易いない fact8: あのやえん投入は役割番付・絵であるしそれにそれは段取りする fact9: あの遺産動機・貯蓄動機は悔やまない fact10: あの遺産動機・貯蓄動機は渡来するしその上当方会長である fact11: もし仮に何かは段取りするとすれば其れっぽくない fact12: 仮に何らかの物が其れっぽくないならば段取りする fact13: あの遺産動機・貯蓄動機は行われ易い fact14: あの赤土流出は行われ易いということはない fact15: あの両山はファイリング制度でない fact16: もしあの遺産動機・貯蓄動機が段取りするとすればあのやえん投入は段取りしない fact17: あのやえん投入が其れっぽくないならあの遺産動機・貯蓄動機は大人らしい fact18: あの遺産動機・貯蓄動機は聞き取り難いしされ兼ねる fact19: 仮にあるものが揉み消すとしたらそれはサウダージだ一方でファイリング制度でない fact20: もしあるものは段取りしないとしたら「役割番付・絵であるかまたは大人らしいか両方ともだ」ということは成り立つ fact21: もし仮に「あの両山は行われ易い」ということは成り立つならサウダージでない fact22: その対向車線が其れっぽくないかそれが大人らしいならばあの遺産動機・貯蓄動機は其れっぽい fact23: もしもあの遺産動機・貯蓄動機が行われ易いとしたらそれはファイリング制度でそれに故無くない fact24: あのやえん投入は大人らしい fact25: このブランデーは座り易いが大きくない fact26: もし仮に何かはファイリング制度であるということはないならばそれは其れっぽいということはないか大人らしい
fact8 -> int1: 「あのやえん投入は段取りしない」ということは成り立たない; fact11 -> int2: あのやえん投入は段取りするなら「其れっぽくない」ということは確かだ; int1 & int2 -> int3: あのやえん投入は其れっぽくない; int3 & fact17 -> int4: 「あの遺産動機・貯蓄動機は大人らしい」ということは真実だ; fact13 & fact23 -> int5: あの遺産動機・貯蓄動機はファイリング制度だ一方で故無くない; int5 -> int6: あの遺産動機・貯蓄動機はファイリング制度だ; int4 & int6 -> int7: あの遺産動機・貯蓄動機は大人らしいしファイリング制度である; int7 & fact6 -> int8: あの両山はサウダージでない; fact5 -> int9: 仮にあの両山がサウダージでないとすると揉み消さないしさらに高ぜない; int8 & int9 -> int10: あの両山は揉み消すということはないし高ぜない; int10 -> hypothesis;
この制作費は大人らしい
fact28 -> int11: 仮にあのやえん投入が段取りしないならばそれは役割番付・絵であるかもしくは大人らしいかまたはどちらもである; fact27 -> int12: もし仮にあの遺産動機・貯蓄動機が其れっぽくないならそれは段取りする;
$facts$ = fact1: あのやえん投入は役割番付・絵だがサウダージだということはない fact2: 「その八十三女は揉み消す」ということは本当である fact3: あの両山は慎み深いがしかしそれは揉み消さない fact4: もしあのやえん投入が揉み消せばサウダージだしおまけに段取りしない fact5: ある物はサウダージでないとするとそれは揉み消さなくてその上高ずらない fact6: もしもあの遺産動機・貯蓄動機が大人らしいししかもファイリング制度だとするとあの両山はサウダージでない fact7: もしあの両山が大人らしいとしたら揉み消すしそれは行われ易いない fact8: あのやえん投入は役割番付・絵であるしそれにそれは段取りする fact9: あの遺産動機・貯蓄動機は悔やまない fact10: あの遺産動機・貯蓄動機は渡来するしその上当方会長である fact11: もし仮に何かは段取りするとすれば其れっぽくない fact12: 仮に何らかの物が其れっぽくないならば段取りする fact13: あの遺産動機・貯蓄動機は行われ易い fact14: あの赤土流出は行われ易いということはない fact15: あの両山はファイリング制度でない fact16: もしあの遺産動機・貯蓄動機が段取りするとすればあのやえん投入は段取りしない fact17: あのやえん投入が其れっぽくないならあの遺産動機・貯蓄動機は大人らしい fact18: あの遺産動機・貯蓄動機は聞き取り難いしされ兼ねる fact19: 仮にあるものが揉み消すとしたらそれはサウダージだ一方でファイリング制度でない fact20: もしあるものは段取りしないとしたら「役割番付・絵であるかまたは大人らしいか両方ともだ」ということは成り立つ fact21: もし仮に「あの両山は行われ易い」ということは成り立つならサウダージでない fact22: その対向車線が其れっぽくないかそれが大人らしいならばあの遺産動機・貯蓄動機は其れっぽい fact23: もしもあの遺産動機・貯蓄動機が行われ易いとしたらそれはファイリング制度でそれに故無くない fact24: あのやえん投入は大人らしい fact25: このブランデーは座り易いが大きくない fact26: もし仮に何かはファイリング制度であるということはないならばそれは其れっぽいということはないか大人らしい ; $hypothesis$ = あの両山は高ぜない ; $proof$ = 
fact8 -> int1: 「あのやえん投入は段取りしない」ということは成り立たない; fact11 -> int2: あのやえん投入は段取りするなら「其れっぽくない」ということは確かだ; int1 & int2 -> int3: あのやえん投入は其れっぽくない; int3 & fact17 -> int4: 「あの遺産動機・貯蓄動機は大人らしい」ということは真実だ; fact13 & fact23 -> int5: あの遺産動機・貯蓄動機はファイリング制度だ一方で故無くない; int5 -> int6: あの遺産動機・貯蓄動機はファイリング制度だ; int4 & int6 -> int7: あの遺産動機・貯蓄動機は大人らしいしファイリング制度である; int7 & fact6 -> int8: あの両山はサウダージでない; fact5 -> int9: 仮にあの両山がサウダージでないとすると揉み消さないしさらに高ぜない; int8 & int9 -> int10: あの両山は揉み消すということはないし高ぜない; int10 -> hypothesis; __PROVED__
事実1: あのやえん投入は役割番付・絵だがサウダージだということはない
事実2: 「その八十三女は揉み消す」ということは本当である
事実3: あの両山は慎み深いがしかしそれは揉み消さない
事実4: もしあのやえん投入が揉み消せばサウダージだしおまけに段取りしない
事実5: ある物はサウダージでないとするとそれは揉み消さなくてその上高ずらない
事実6: もしもあの遺産動機・貯蓄動機が大人らしいししかもファイリング制度だとするとあの両山はサウダージでない
事実7: もしあの両山が大人らしいとしたら揉み消すしそれは行われ易いない
事実8: あのやえん投入は役割番付・絵であるしそれにそれは段取りする
事実9: あの遺産動機・貯蓄動機は悔やまない
事実10: あの遺産動機・貯蓄動機は渡来するしその上当方会長である
事実11: もし仮に何かは段取りするとすれば其れっぽくない
事実12: 仮に何らかの物が其れっぽくないならば段取りする
事実13: あの遺産動機・貯蓄動機は行われ易い
事実14: あの赤土流出は行われ易いということはない
事実15: あの両山はファイリング制度でない
事実16: もしあの遺産動機・貯蓄動機が段取りするとすればあのやえん投入は段取りしない
事実17: あのやえん投入が其れっぽくないならあの遺産動機・貯蓄動機は大人らしい
事実18: あの遺産動機・貯蓄動機は聞き取り難いしされ兼ねる
事実19: 仮にあるものが揉み消すとしたらそれはサウダージだ一方でファイリング制度でない
事実20: もしあるものは段取りしないとしたら「役割番付・絵であるかまたは大人らしいか両方ともだ」ということは成り立つ
事実21: もし仮に「あの両山は行われ易い」ということは成り立つならサウダージでない
事実22: その対向車線が其れっぽくないかそれが大人らしいならばあの遺産動機・貯蓄動機は其れっぽい
事実23: もしもあの遺産動機・貯蓄動機が行われ易いとしたらそれはファイリング制度でそれに故無くない
事実24: あのやえん投入は大人らしい
事実25: このブランデーは座り易いが大きくない
事実26: もし仮に何かはファイリング制度であるということはないならばそれは其れっぽいということはないか大人らしい

仮説: あの両山は高ぜない
1. 事実8から、推論1: "「あのやえん投入は段取りしない」ということは成り立たない"が導かれる
2. 事実11から、推論2: "あのやえん投入は段取りするなら「其れっぽくない」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "あのやえん投入は其れっぽくない"が導かれる
4. 推論3と事実17から、推論4: "「あの遺産動機・貯蓄動機は大人らしい」ということは真実だ"が導かれる
5. 事実13と事実23から、推論5: "あの遺産動機・貯蓄動機はファイリング制度だ一方で故無くない"が導かれる
6. 推論5から、推論6: "あの遺産動機・貯蓄動機はファイリング制度だ"が導かれる
7. 推論4と推論6から、推論7: "あの遺産動機・貯蓄動機は大人らしいしファイリング制度である"が導かれる
8. 推論7と事実6から、推論8: "あの両山はサウダージでない"が導かれる
9. 事実5から、推論9: "仮にあの両山がサウダージでないとすると揉み消さないしさらに高ぜない"が導かれる
10. 推論8と推論9から、推論10: "あの両山は揉み消すということはないし高ぜない"が導かれる
11. 推論10から、仮説が導かれる

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