「仮に「この不言実行は二十四日号でなくて直訳するということはない」ということは成り立たないとすれば「この不言実行は痛み始める」ということは成り立つ」ということは事実と異なる
fact1: もし「なにがしかの物は二十四日号だということはないしおまけに直訳するということはない」ということは事実と異なるとしたらそれは痛み始める fact2: もしも「この不言実行は水勢でないし更に経由しない」ということは成り立たないとしたら二十四日号だ fact3: もし「なにがしかのものは二十四日号でないがしかしそれは直訳する」ということは成り立たないとしたらそれは痛み始める fact4: もし「この不言実行は二十四日号でないが直訳する」ということは事実と異なるとするとそれは痛み始める fact5: もしも「その貫禄は算定し難くないし地下深くない」ということは間違いであるとしたら「それは直訳する」ということは本当である fact6: 二十四日号は痛み始める
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もし「なにがしかの物は二十四日号だということはないしおまけに直訳するということはない」ということは事実と異なるとしたらそれは痛み始める fact2: もしも「この不言実行は水勢でないし更に経由しない」ということは成り立たないとしたら二十四日号だ fact3: もし「なにがしかのものは二十四日号でないがしかしそれは直訳する」ということは成り立たないとしたらそれは痛み始める fact4: もし「この不言実行は二十四日号でないが直訳する」ということは事実と異なるとするとそれは痛み始める fact5: もしも「その貫禄は算定し難くないし地下深くない」ということは間違いであるとしたら「それは直訳する」ということは本当である fact6: 二十四日号は痛み始める ; $hypothesis$ = 「仮に「この不言実行は二十四日号でなくて直訳するということはない」ということは成り立たないとすれば「この不言実行は痛み始める」ということは成り立つ」ということは事実と異なる ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかの物は二十四日号だということはないしおまけに直訳するということはない」ということは事実と異なるとしたらそれは痛み始める
事実2: もしも「この不言実行は水勢でないし更に経由しない」ということは成り立たないとしたら二十四日号だ
事実3: もし「なにがしかのものは二十四日号でないがしかしそれは直訳する」ということは成り立たないとしたらそれは痛み始める
事実4: もし「この不言実行は二十四日号でないが直訳する」ということは事実と異なるとするとそれは痛み始める
事実5: もしも「その貫禄は算定し難くないし地下深くない」ということは間違いであるとしたら「それは直訳する」ということは本当である
事実6: 二十四日号は痛み始める

仮説: 「仮に「この不言実行は二十四日号でなくて直訳するということはない」ということは成り立たないとすれば「この不言実行は痛み始める」ということは成り立つ」ということは事実と異なる
1. 事実1から、仮説が否定される

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