あの錫は酸化し難くない
fact1: あらゆるものは酸化し難くない fact2: あの錫は局長さんだということはない fact3: 「この経済的成功は酸化し難いということはない」ということは確かだ fact4: 何もかもは退職手当てでない fact5: もしなんらかのものはエロくないとしたら「それは出れるということはないし入道雲でない」ということは誤りだ fact6: もしもこの季節は酸化し難いとしたら「あの錫は酸化し難い」ということは成り立つ fact7: 「エロいということはない物は出れないけど入道雲だ」ということは本当だ fact8: この季節は前掲表でないかもしくは出れるかまたはどちらもである fact9: もしこの季節が出れればあの錫は出れる fact10: 仮にとある物が出れる一方でエロくないとすれば入道雲だ fact11: 仮にこの季節は前掲表でないかあるいは出れるかあるいはどちらもであるとしたらそれは出れる fact12: あの国際条約は酸化し難くない fact13: 入道雲は酸化し難い fact14: 全ての物は経営形態でない fact15: 仮にこの季節が出れないとすると酸化し難くてそれは入道雲である fact16: すべては非難がましいということはない fact17: もし仮になんらかの物が出れないが入道雲ならそれは酸化し難くない fact18: この路銀は酸化し難いということはない
fact1 -> hypothesis;
fact1 -> hypothesis;
この負電圧は酸化し難くない
fact19 -> int1: この負電圧はエロくないならば「それが出れないしさらに入道雲でない」ということは誤っている;
$facts$ = fact1: あらゆるものは酸化し難くない fact2: あの錫は局長さんだということはない fact3: 「この経済的成功は酸化し難いということはない」ということは確かだ fact4: 何もかもは退職手当てでない fact5: もしなんらかのものはエロくないとしたら「それは出れるということはないし入道雲でない」ということは誤りだ fact6: もしもこの季節は酸化し難いとしたら「あの錫は酸化し難い」ということは成り立つ fact7: 「エロいということはない物は出れないけど入道雲だ」ということは本当だ fact8: この季節は前掲表でないかもしくは出れるかまたはどちらもである fact9: もしこの季節が出れればあの錫は出れる fact10: 仮にとある物が出れる一方でエロくないとすれば入道雲だ fact11: 仮にこの季節は前掲表でないかあるいは出れるかあるいはどちらもであるとしたらそれは出れる fact12: あの国際条約は酸化し難くない fact13: 入道雲は酸化し難い fact14: 全ての物は経営形態でない fact15: 仮にこの季節が出れないとすると酸化し難くてそれは入道雲である fact16: すべては非難がましいということはない fact17: もし仮になんらかの物が出れないが入道雲ならそれは酸化し難くない fact18: この路銀は酸化し難いということはない ; $hypothesis$ = あの錫は酸化し難くない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あらゆるものは酸化し難くない
事実2: あの錫は局長さんだということはない
事実3: 「この経済的成功は酸化し難いということはない」ということは確かだ
事実4: 何もかもは退職手当てでない
事実5: もしなんらかのものはエロくないとしたら「それは出れるということはないし入道雲でない」ということは誤りだ
事実6: もしもこの季節は酸化し難いとしたら「あの錫は酸化し難い」ということは成り立つ
事実7: 「エロいということはない物は出れないけど入道雲だ」ということは本当だ
事実8: この季節は前掲表でないかもしくは出れるかまたはどちらもである
事実9: もしこの季節が出れればあの錫は出れる
事実10: 仮にとある物が出れる一方でエロくないとすれば入道雲だ
事実11: 仮にこの季節は前掲表でないかあるいは出れるかあるいはどちらもであるとしたらそれは出れる
事実12: あの国際条約は酸化し難くない
事実13: 入道雲は酸化し難い
事実14: 全ての物は経営形態でない
事実15: 仮にこの季節が出れないとすると酸化し難くてそれは入道雲である
事実16: すべては非難がましいということはない
事実17: もし仮になんらかの物が出れないが入道雲ならそれは酸化し難くない
事実18: この路銀は酸化し難いということはない

仮説: あの錫は酸化し難くない
1. 事実1から、仮説が導かれる

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