この原漢文は打ち取らない
fact1: 「その三段階評価は卸売り数量だ」ということは正しい fact2: その三段階評価が打ち取るとするとこの原漢文は卸売り数量だ fact3: もし仮にその三段階評価が卸売り数量であるとすればこの原漢文は打ち取る fact4: もしこの原漢文は卸売り数量であるとすれば「その三段階評価は打ち取る」ということは事実である fact5: 「「何かは卸売り数量でない一方でそれは打ち取る」ということは成り立つ」ということは嘘だとすれば打ち取らない
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
この原漢文は打ち取らない
fact6 -> int1: もし「この原漢文は卸売り数量でないがしかし打ち取る」ということは事実と異なればそれは打ち取らない;
$facts$ = fact1: 「その三段階評価は卸売り数量だ」ということは正しい fact2: その三段階評価が打ち取るとするとこの原漢文は卸売り数量だ fact3: もし仮にその三段階評価が卸売り数量であるとすればこの原漢文は打ち取る fact4: もしこの原漢文は卸売り数量であるとすれば「その三段階評価は打ち取る」ということは事実である fact5: 「「何かは卸売り数量でない一方でそれは打ち取る」ということは成り立つ」ということは嘘だとすれば打ち取らない ; $hypothesis$ = この原漢文は打ち取らない ; $proof$ = 
fact3 & fact1 -> hypothesis; __DISPROVED__
事実1: 「その三段階評価は卸売り数量だ」ということは正しい
事実2: その三段階評価が打ち取るとするとこの原漢文は卸売り数量だ
事実3: もし仮にその三段階評価が卸売り数量であるとすればこの原漢文は打ち取る
事実4: もしこの原漢文は卸売り数量であるとすれば「その三段階評価は打ち取る」ということは事実である
事実5: 「「何かは卸売り数量でない一方でそれは打ち取る」ということは成り立つ」ということは嘘だとすれば打ち取らない

仮説: この原漢文は打ち取らない
1. 事実3と事実1から、仮説が否定される

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