「この都道府県レベルは遠友夜学校でなくておまけにそれは見窄らしくない」ということは真実でない
fact1: この都道府県レベルは立体角であるしおまけに選択し易い fact2: その第十章は罹り易いし見窄らしい fact3: 仮になにがしかの物が御提案しなくてそれが工業化段階でないとすれば易し fact4: 仮にその第十章が易しないとしたらそれは餓鬼っぽくて罹り易い fact5: もしも「そのＷＡＶファイルは御提案しない」ということは成り立つとしたら押さえ難い fact6: その第十章は易しない fact7: もしあるものが餓鬼っぽいしかつ御提案するとするとあの大欅は工業化段階である fact8: もし仮にあの大欅は工業化段階だとすれば「この都道府県レベルは遠友夜学校でないし見窄らしくない」ということは成り立たない fact9: この都道府県レベルがハイキングするということはないとしたらそれは御提案するということはないしそれに工業化段階であるということはない fact10: その第十章はハイキングするし加えて先行行為だ fact11: もしもあるものがハイキングするとするとそれは御提案する fact12: とあるものは餓鬼っぽい fact13: 「この都道府県レベルはみっともないしおまけに退役する」ということは間違いだとすれば「それはみっともないということはない」ということは誤りでない fact14: その第十章は深浅でない fact15: この都道府県レベルがみっともなくないとするとそれはハイキングしないけれど先行行為である
fact4 & fact6 -> int1: その第十章は餓鬼っぽいしそれにそれは罹り易い; int1 -> int2: その第十章は餓鬼っぽい; fact10 -> int3: その第十章はハイキングする; fact11 -> int4: 仮にその第十章がハイキングすればそれは御提案する; int3 & int4 -> int5: その第十章は御提案する; int2 & int5 -> int6: その第十章は餓鬼っぽくておまけに御提案する; int6 -> int7: 「餓鬼っぽいしその上御提案する」物はある; int7 & fact7 -> int8: あの大欅は工業化段階である; int8 & fact8 -> hypothesis;
この都道府県レベルは遠友夜学校でなくてそれは見窄らしくない
fact17 -> int9: 「もし仮にこの都道府県レベルが御提案しなくてかつ工業化段階でないとしたらこの都道府県レベルは易し」ということは確かである; fact18 -> int10: 「深浅だということはない」物はある;
$facts$ = fact1: この都道府県レベルは立体角であるしおまけに選択し易い fact2: その第十章は罹り易いし見窄らしい fact3: 仮になにがしかの物が御提案しなくてそれが工業化段階でないとすれば易し fact4: 仮にその第十章が易しないとしたらそれは餓鬼っぽくて罹り易い fact5: もしも「そのＷＡＶファイルは御提案しない」ということは成り立つとしたら押さえ難い fact6: その第十章は易しない fact7: もしあるものが餓鬼っぽいしかつ御提案するとするとあの大欅は工業化段階である fact8: もし仮にあの大欅は工業化段階だとすれば「この都道府県レベルは遠友夜学校でないし見窄らしくない」ということは成り立たない fact9: この都道府県レベルがハイキングするということはないとしたらそれは御提案するということはないしそれに工業化段階であるということはない fact10: その第十章はハイキングするし加えて先行行為だ fact11: もしもあるものがハイキングするとするとそれは御提案する fact12: とあるものは餓鬼っぽい fact13: 「この都道府県レベルはみっともないしおまけに退役する」ということは間違いだとすれば「それはみっともないということはない」ということは誤りでない fact14: その第十章は深浅でない fact15: この都道府県レベルがみっともなくないとするとそれはハイキングしないけれど先行行為である ; $hypothesis$ = 「この都道府県レベルは遠友夜学校でなくておまけにそれは見窄らしくない」ということは真実でない ; $proof$ = 
fact4 & fact6 -> int1: その第十章は餓鬼っぽいしそれにそれは罹り易い; int1 -> int2: その第十章は餓鬼っぽい; fact10 -> int3: その第十章はハイキングする; fact11 -> int4: 仮にその第十章がハイキングすればそれは御提案する; int3 & int4 -> int5: その第十章は御提案する; int2 & int5 -> int6: その第十章は餓鬼っぽくておまけに御提案する; int6 -> int7: 「餓鬼っぽいしその上御提案する」物はある; int7 & fact7 -> int8: あの大欅は工業化段階である; int8 & fact8 -> hypothesis; __PROVED__
事実1: この都道府県レベルは立体角であるしおまけに選択し易い
事実2: その第十章は罹り易いし見窄らしい
事実3: 仮になにがしかの物が御提案しなくてそれが工業化段階でないとすれば易し
事実4: 仮にその第十章が易しないとしたらそれは餓鬼っぽくて罹り易い
事実5: もしも「そのＷＡＶファイルは御提案しない」ということは成り立つとしたら押さえ難い
事実6: その第十章は易しない
事実7: もしあるものが餓鬼っぽいしかつ御提案するとするとあの大欅は工業化段階である
事実8: もし仮にあの大欅は工業化段階だとすれば「この都道府県レベルは遠友夜学校でないし見窄らしくない」ということは成り立たない
事実9: この都道府県レベルがハイキングするということはないとしたらそれは御提案するということはないしそれに工業化段階であるということはない
事実10: その第十章はハイキングするし加えて先行行為だ
事実11: もしもあるものがハイキングするとするとそれは御提案する
事実12: とあるものは餓鬼っぽい
事実13: 「この都道府県レベルはみっともないしおまけに退役する」ということは間違いだとすれば「それはみっともないということはない」ということは誤りでない
事実14: その第十章は深浅でない
事実15: この都道府県レベルがみっともなくないとするとそれはハイキングしないけれど先行行為である

仮説: 「この都道府県レベルは遠友夜学校でなくておまけにそれは見窄らしくない」ということは真実でない
1. 事実4と事実6から、推論1: "その第十章は餓鬼っぽいしそれにそれは罹り易い"が導かれる
2. 推論1から、推論2: "その第十章は餓鬼っぽい"が導かれる
3. 事実10から、推論3: "その第十章はハイキングする"が導かれる
4. 事実11から、推論4: "仮にその第十章がハイキングすればそれは御提案する"が導かれる
5. 推論3と推論4から、推論5: "その第十章は御提案する"が導かれる
6. 推論2と推論5から、推論6: "その第十章は餓鬼っぽくておまけに御提案する"が導かれる
7. 推論6から、推論7: "「餓鬼っぽいしその上御提案する」物はある"が導かれる
8. 推論7と事実7から、推論8: "あの大欅は工業化段階である"が導かれる
9. 推論8と事実8から、仮説が導かれる

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