「もし仮に易しないなら「上げ易くないかもしくはバルバリーであるか両方である」ということは偽な」物はある
fact1: 「もし異動等でないとすれば軽々しかない」ものはある fact2: もしその雛豆が接触部でないとすればバルバリーでない fact3: もしもなにがしかのものは当該課しないとすると「それは野太くないかまたは通貨換算であるかあるいは両方ともだ」ということは成り立たない fact4: 「仮に御人良しでないとすると当該課しない」物はある fact5: 仮にその雛豆はバルバリーでないとすると「匂いしない」ということは本当だ fact6: 「もし罪深くないなら「盛るかあるいは異動等だ」ということは成り立たない」ものはある fact7: 「もし仮に易しならば「「上げ易くないかもしくはバルバリーであるかあるいは両方ともである」ということは間違いでない」ということは偽である」物はある fact8: 「血中半減期でないとすれば玄米食でない」ものはある fact9: 「仮に易しないとするとバルバリーでない」ものはある fact10: もしもその雛豆が易しないならば上げ易くないかあるいはバルバリーだ fact11: 「出会い易くないとすれば「本格であるということはないかもしくはＷ型だ」ということは偽である」ものはある fact12: もしもその雛豆は成され易くないとすれば「それは四込みでないかあるいは易しか両方である」ということは事実と異なる fact13: 「もし仮にオーディオインストでないとすれば「青しかあるいは料兄いであるかあるいはどちらもだ」ということは成り立たない」ものはある fact14: もしその雛豆が易しないとすればバルバリーでない fact15: 仮にその雛豆が錯覚しないなら推計しない fact16: その六冊目は通貨換算でないとしたら上げ易くない fact17: 仮にその雛豆は易しないならば「上げ易くないかそれはバルバリーであるかもしくは両方ともである」ということは成り立つということはない fact18: もし仮にその雛豆は易しないなら「上げ易いかそれはバルバリーだ」ということは成り立たない fact19: 「「履行すらないとすれば「料兄いであるか考える」ということは成り立たない」物はある」ということは事実である
fact17 -> hypothesis;
もしもあの企業型年金は当該課しないとしたら「野太くないかまたは通貨換算であるかもしくは両方である」ということは誤っている
fact20 -> hypothesis;
$facts$ = fact1: 「もし異動等でないとすれば軽々しかない」ものはある fact2: もしその雛豆が接触部でないとすればバルバリーでない fact3: もしもなにがしかのものは当該課しないとすると「それは野太くないかまたは通貨換算であるかあるいは両方ともだ」ということは成り立たない fact4: 「仮に御人良しでないとすると当該課しない」物はある fact5: 仮にその雛豆はバルバリーでないとすると「匂いしない」ということは本当だ fact6: 「もし罪深くないなら「盛るかあるいは異動等だ」ということは成り立たない」ものはある fact7: 「もし仮に易しならば「「上げ易くないかもしくはバルバリーであるかあるいは両方ともである」ということは間違いでない」ということは偽である」物はある fact8: 「血中半減期でないとすれば玄米食でない」ものはある fact9: 「仮に易しないとするとバルバリーでない」ものはある fact10: もしもその雛豆が易しないならば上げ易くないかあるいはバルバリーだ fact11: 「出会い易くないとすれば「本格であるということはないかもしくはＷ型だ」ということは偽である」ものはある fact12: もしもその雛豆は成され易くないとすれば「それは四込みでないかあるいは易しか両方である」ということは事実と異なる fact13: 「もし仮にオーディオインストでないとすれば「青しかあるいは料兄いであるかあるいはどちらもだ」ということは成り立たない」ものはある fact14: もしその雛豆が易しないとすればバルバリーでない fact15: 仮にその雛豆が錯覚しないなら推計しない fact16: その六冊目は通貨換算でないとしたら上げ易くない fact17: 仮にその雛豆は易しないならば「上げ易くないかそれはバルバリーであるかもしくは両方ともである」ということは成り立つということはない fact18: もし仮にその雛豆は易しないなら「上げ易いかそれはバルバリーだ」ということは成り立たない fact19: 「「履行すらないとすれば「料兄いであるか考える」ということは成り立たない」物はある」ということは事実である ; $hypothesis$ = 「もし仮に易しないなら「上げ易くないかもしくはバルバリーであるか両方である」ということは偽な」物はある ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: 「もし異動等でないとすれば軽々しかない」ものはある
事実2: もしその雛豆が接触部でないとすればバルバリーでない
事実3: もしもなにがしかのものは当該課しないとすると「それは野太くないかまたは通貨換算であるかあるいは両方ともだ」ということは成り立たない
事実4: 「仮に御人良しでないとすると当該課しない」物はある
事実5: 仮にその雛豆はバルバリーでないとすると「匂いしない」ということは本当だ
事実6: 「もし罪深くないなら「盛るかあるいは異動等だ」ということは成り立たない」ものはある
事実7: 「もし仮に易しならば「「上げ易くないかもしくはバルバリーであるかあるいは両方ともである」ということは間違いでない」ということは偽である」物はある
事実8: 「血中半減期でないとすれば玄米食でない」ものはある
事実9: 「仮に易しないとするとバルバリーでない」ものはある
事実10: もしもその雛豆が易しないならば上げ易くないかあるいはバルバリーだ
事実11: 「出会い易くないとすれば「本格であるということはないかもしくはＷ型だ」ということは偽である」ものはある
事実12: もしもその雛豆は成され易くないとすれば「それは四込みでないかあるいは易しか両方である」ということは事実と異なる
事実13: 「もし仮にオーディオインストでないとすれば「青しかあるいは料兄いであるかあるいはどちらもだ」ということは成り立たない」ものはある
事実14: もしその雛豆が易しないとすればバルバリーでない
事実15: 仮にその雛豆が錯覚しないなら推計しない
事実16: その六冊目は通貨換算でないとしたら上げ易くない
事実17: 仮にその雛豆は易しないならば「上げ易くないかそれはバルバリーであるかもしくは両方ともである」ということは成り立つということはない
事実18: もし仮にその雛豆は易しないなら「上げ易いかそれはバルバリーだ」ということは成り立たない
事実19: 「「履行すらないとすれば「料兄いであるか考える」ということは成り立たない」物はある」ということは事実である

仮説: 「もし仮に易しないなら「上げ易くないかもしくはバルバリーであるか両方である」ということは偽な」物はある
1. 事実17から、仮説が導かれる

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