「仮に保ち易くないとすると作り易いということはないかもしくはせせこましいかもしくはどちらもである」ものはある
fact1: もしも「この人口予測はペナントレースでない」ということは成り立てばそれは胸苦しくないかそれは作り易いかあるいはどちらもだ fact2: もし仮にこの人口予測が保ち易くないなら作り易いかもしくはせせこましいかまたは両方ともである fact3: もし仮にあるものが黒ずまないならそれは御式でないかまたは美青年であるかまたは両方だ fact4: 「この人口予測はせがまない」ということは正しいとすれば「それは作り易くないかもしくはそれは一年間程度であるか両方ともだ」ということは本当だ fact5: もしもなにがしかのものが保ち易くないとするとそれは作り易いかもしくはせせこましいかあるいは両方だ fact6: もしこの人口予測は収益獲得能力でないならばそれは四十歳代でないかもしくはせせこましいかあるいは両方だ fact7: もしもその機能領域が混血しないとしたらそれは売り切れるということはないかあるいは掘削物である fact8: もし仮に「何らかの物は肌寒くない」ということは偽であるということはないとするとそれは示現しないかもしくは地上高であるかもしくはどちらもである fact9: もし仮にそのＩＫイズがアッピールしないとするとそれは作り易くないかまたはそれは閉経する fact10: 仮にこの人口予測が時間価値等でないとするとそれは作り易くないかもしくは生産し続けるかまたはどちらもである fact11: あるものが預かれないとしたら縮まないかまたは御守りするかあるいは両方である fact12: 「仮に「収益獲得能力でない」ということは本当だとすると御守りしないかもしくはせがむかあるいはどちらもな」物はある fact13: 「もし「保ち易くない」ということは正しいとすると作り易いかあるいはせせこましい」ものはある fact14: 「なにがしかの物は飛行機係でない」ということは成り立つとすれば絶え間無いということはないか仲立ちであるかもしくは両方である fact15: 「もし仮に犯せないとしたら種目でないか仲立ちであるかどちらもである」物はある fact16: この人口予測が保ち易いなら作り易くないかもしくはそれはせせこましいかまたは両方だ fact17: もしこの人口予測が胸苦しくないとしたら聞き入れないかまたは混血するかもしくはどちらもである fact18: 「仮に「聞き入れるということはない」ということは成り立つとすると夫以外でないか掘り上げるかもしくはどちらもである」物はある fact19: 保ち易くない物は作り易くないかもしくはせせこましいかあるいはどちらもである fact20: 保ち易い物は作り易くないかもしくはせせこましいかもしくは両方である fact21: 「もし保ち易いならば作り易くないかもしくはせせこましいかまたは両方ともな」物はある
fact19 -> int1: 「この人口予測が保ち易くないならばこの人口予測は作り易いということはないかもしくはせせこましいかまたは両方ともだ」ということは成り立つ; int1 -> 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$ = 
fact19 -> int1: 「この人口予測が保ち易くないならばこの人口予測は作り易いということはないかもしくはせせこましいかまたは両方ともだ」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: もしも「この人口予測はペナントレースでない」ということは成り立てばそれは胸苦しくないかそれは作り易いかあるいはどちらもだ
事実2: もし仮にこの人口予測が保ち易くないなら作り易いかもしくはせせこましいかまたは両方ともである
事実3: もし仮にあるものが黒ずまないならそれは御式でないかまたは美青年であるかまたは両方だ
事実4: 「この人口予測はせがまない」ということは正しいとすれば「それは作り易くないかもしくはそれは一年間程度であるか両方ともだ」ということは本当だ
事実5: もしもなにがしかのものが保ち易くないとするとそれは作り易いかもしくはせせこましいかあるいは両方だ
事実6: もしこの人口予測は収益獲得能力でないならばそれは四十歳代でないかもしくはせせこましいかあるいは両方だ
事実7: もしもその機能領域が混血しないとしたらそれは売り切れるということはないかあるいは掘削物である
事実8: もし仮に「何らかの物は肌寒くない」ということは偽であるということはないとするとそれは示現しないかもしくは地上高であるかもしくはどちらもである
事実9: もし仮にそのＩＫイズがアッピールしないとするとそれは作り易くないかまたはそれは閉経する
事実10: 仮にこの人口予測が時間価値等でないとするとそれは作り易くないかもしくは生産し続けるかまたはどちらもである
事実11: あるものが預かれないとしたら縮まないかまたは御守りするかあるいは両方である
事実12: 「仮に「収益獲得能力でない」ということは本当だとすると御守りしないかもしくはせがむかあるいはどちらもな」物はある
事実13: 「もし「保ち易くない」ということは正しいとすると作り易いかあるいはせせこましい」ものはある
事実14: 「なにがしかの物は飛行機係でない」ということは成り立つとすれば絶え間無いということはないか仲立ちであるかもしくは両方である
事実15: 「もし仮に犯せないとしたら種目でないか仲立ちであるかどちらもである」物はある
事実16: この人口予測が保ち易いなら作り易くないかもしくはそれはせせこましいかまたは両方だ
事実17: もしこの人口予測が胸苦しくないとしたら聞き入れないかまたは混血するかもしくはどちらもである
事実18: 「仮に「聞き入れるということはない」ということは成り立つとすると夫以外でないか掘り上げるかもしくはどちらもである」物はある
事実19: 保ち易くない物は作り易くないかもしくはせせこましいかあるいはどちらもである
事実20: 保ち易い物は作り易くないかもしくはせせこましいかもしくは両方である
事実21: 「もし保ち易いならば作り易くないかもしくはせせこましいかまたは両方ともな」物はある

仮説: 「仮に保ち易くないとすると作り易いということはないかもしくはせせこましいかもしくはどちらもである」ものはある
1. 事実19から、推論1: "「この人口予測が保ち易くないならばこの人口予測は作り易いということはないかもしくはせせこましいかまたは両方ともだ」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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