「もしあの社会的進歩が朝鮮人参でないとするとあの社会的進歩は生き易くないか方法論でない」ということは間違っている
fact1: あの社会的進歩は朝鮮人参でないとすると「それは生き易いということはないかまたは方法論であるかもしくはどちらもだ」ということは正しい fact2: 危ういということはない物は取り澄ますということはないかまたは家族欄であるということはないかまたはどちらもだ fact3: もし仮に何かは朝鮮人参でないとすると生き易いかあるいは方法論でない fact4: あの社会的進歩が朝鮮人参であるということはないとしたら生き易いかもしくは方法論でない fact5: もしもあの社会的進歩が化石化しないとすると方法論でないかもしくは間違い易くない fact6: もしもあるものが朝鮮人参でないとすると生き易くないかもしくはそれは方法論だということはない fact7: 朝鮮人参は生き易くないか方法論であるということはないかもしくは両方である fact8: あの社会的進歩が朝鮮人参だとしたら生き易くないか方法論でないかまたは両方だ fact9: もしもなにかは朝鮮人参でないとするとそれは生き易くないかあるいは方法論であるかどちらもである
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: あの社会的進歩は朝鮮人参でないとすると「それは生き易いということはないかまたは方法論であるかもしくはどちらもだ」ということは正しい fact2: 危ういということはない物は取り澄ますということはないかまたは家族欄であるということはないかまたはどちらもだ fact3: もし仮に何かは朝鮮人参でないとすると生き易いかあるいは方法論でない fact4: あの社会的進歩が朝鮮人参であるということはないとしたら生き易いかもしくは方法論でない fact5: もしもあの社会的進歩が化石化しないとすると方法論でないかもしくは間違い易くない fact6: もしもあるものが朝鮮人参でないとすると生き易くないかもしくはそれは方法論だということはない fact7: 朝鮮人参は生き易くないか方法論であるということはないかもしくは両方である fact8: あの社会的進歩が朝鮮人参だとしたら生き易くないか方法論でないかまたは両方だ fact9: もしもなにかは朝鮮人参でないとするとそれは生き易くないかあるいは方法論であるかどちらもである ; $hypothesis$ = 「もしあの社会的進歩が朝鮮人参でないとするとあの社会的進歩は生き易くないか方法論でない」ということは間違っている ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: あの社会的進歩は朝鮮人参でないとすると「それは生き易いということはないかまたは方法論であるかもしくはどちらもだ」ということは正しい
事実2: 危ういということはない物は取り澄ますということはないかまたは家族欄であるということはないかまたはどちらもだ
事実3: もし仮に何かは朝鮮人参でないとすると生き易いかあるいは方法論でない
事実4: あの社会的進歩が朝鮮人参であるということはないとしたら生き易いかもしくは方法論でない
事実5: もしもあの社会的進歩が化石化しないとすると方法論でないかもしくは間違い易くない
事実6: もしもあるものが朝鮮人参でないとすると生き易くないかもしくはそれは方法論だということはない
事実7: 朝鮮人参は生き易くないか方法論であるということはないかもしくは両方である
事実8: あの社会的進歩が朝鮮人参だとしたら生き易くないか方法論でないかまたは両方だ
事実9: もしもなにかは朝鮮人参でないとするとそれは生き易くないかあるいは方法論であるかどちらもである

仮説: 「もしあの社会的進歩が朝鮮人参でないとするとあの社会的進歩は生き易くないか方法論でない」ということは間違っている
1. 事実6から、仮説が否定される

よって、仮説が否定されました。