「そのドロール・プランは三区分するがしかし叩き切らない」ということは成り立たない
fact1: もし仮に「そのドロール・プランは加算金である」ということは成り立つとすれば「三区分するし加えて叩き切らない」ということは間違いである fact2: そのドロール・プランは加算金である fact3: 「あるものは第一文だとすれば「それは三区分するしさらにそれは小作地でない」ということは偽だ」ということは真実だ fact4: 「そのドロール・プランは三区分するし叩き切る」ということは嘘だ
fact1 & fact2 -> hypothesis;
もし仮にあの朱引き内は第一文であるとしたら「それは三区分するしおまけに小作地でない」ということは本当でない
fact5 -> hypothesis;
$facts$ = fact1: もし仮に「そのドロール・プランは加算金である」ということは成り立つとすれば「三区分するし加えて叩き切らない」ということは間違いである fact2: そのドロール・プランは加算金である fact3: 「あるものは第一文だとすれば「それは三区分するしさらにそれは小作地でない」ということは偽だ」ということは真実だ fact4: 「そのドロール・プランは三区分するし叩き切る」ということは嘘だ ; $hypothesis$ = 「そのドロール・プランは三区分するがしかし叩き切らない」ということは成り立たない ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に「そのドロール・プランは加算金である」ということは成り立つとすれば「三区分するし加えて叩き切らない」ということは間違いである
事実2: そのドロール・プランは加算金である
事実3: 「あるものは第一文だとすれば「それは三区分するしさらにそれは小作地でない」ということは偽だ」ということは真実だ
事実4: 「そのドロール・プランは三区分するし叩き切る」ということは嘘だ

仮説: 「そのドロール・プランは三区分するがしかし叩き切らない」ということは成り立たない
1. 事実1と事実2から、仮説が導かれる

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