その釈文は棚卸しする一方で御安いということはない
fact1: 仮にその釈文は御安くないなら「このたね・木の実は御安い一方で個人別でない」ということは嘘である fact2: 「このたね・木の実は棚卸しするしそれにそれは没収する」ということは嘘である fact3: 受け易くないものは個人別であるということはないがしかし二人だ fact4: その釈文は個人別でないししかも御安くない fact5: 「このたね・木の実は棚卸しするということはない」ということは成り立つとすれば「その釈文は棚卸しするがしかしそれは御安くない」ということは偽だ fact6: このたね・木の実は個人別でないし加えてそれは棚卸ししない fact7: この採用力は御安くない fact8: あの爽快感は棚卸ししない fact9: もしもその釈文は個人別でないとしたら「このたね・木の実は個人別でまた御安い」ということは成り立たない fact10: もし「このたね・木の実は棚卸ししない」ということは成り立つなら「その釈文は棚卸しするし御安い」ということは成り立たない fact11: この新院御所は立ち騒ぐということはないしまたそれはマイナス極であるということはない
fact6 -> int1: このたね・木の実は棚卸ししない; int1 & fact5 -> hypothesis;
fact6 -> int1: ¬{B}{a}; int1 & fact5 -> hypothesis;
「その釈文は棚卸しするけれど御安くない」ということは誤りであるということはない
fact12 -> int2: もしもこのたね・木の実が受け易くないならそれは個人別でないしそれは二人だ;
$facts$ = fact1: 仮にその釈文は御安くないなら「このたね・木の実は御安い一方で個人別でない」ということは嘘である fact2: 「このたね・木の実は棚卸しするしそれにそれは没収する」ということは嘘である fact3: 受け易くないものは個人別であるということはないがしかし二人だ fact4: その釈文は個人別でないししかも御安くない fact5: 「このたね・木の実は棚卸しするということはない」ということは成り立つとすれば「その釈文は棚卸しするがしかしそれは御安くない」ということは偽だ fact6: このたね・木の実は個人別でないし加えてそれは棚卸ししない fact7: この採用力は御安くない fact8: あの爽快感は棚卸ししない fact9: もしもその釈文は個人別でないとしたら「このたね・木の実は個人別でまた御安い」ということは成り立たない fact10: もし「このたね・木の実は棚卸ししない」ということは成り立つなら「その釈文は棚卸しするし御安い」ということは成り立たない fact11: この新院御所は立ち騒ぐということはないしまたそれはマイナス極であるということはない ; $hypothesis$ = その釈文は棚卸しする一方で御安いということはない ; $proof$ = 
fact6 -> int1: このたね・木の実は棚卸ししない; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮にその釈文は御安くないなら「このたね・木の実は御安い一方で個人別でない」ということは嘘である
事実2: 「このたね・木の実は棚卸しするしそれにそれは没収する」ということは嘘である
事実3: 受け易くないものは個人別であるということはないがしかし二人だ
事実4: その釈文は個人別でないししかも御安くない
事実5: 「このたね・木の実は棚卸しするということはない」ということは成り立つとすれば「その釈文は棚卸しするがしかしそれは御安くない」ということは偽だ
事実6: このたね・木の実は個人別でないし加えてそれは棚卸ししない
事実7: この採用力は御安くない
事実8: あの爽快感は棚卸ししない
事実9: もしもその釈文は個人別でないとしたら「このたね・木の実は個人別でまた御安い」ということは成り立たない
事実10: もし「このたね・木の実は棚卸ししない」ということは成り立つなら「その釈文は棚卸しするし御安い」ということは成り立たない
事実11: この新院御所は立ち騒ぐということはないしまたそれはマイナス極であるということはない

仮説: その釈文は棚卸しする一方で御安いということはない
1. 事実6から、推論1: "このたね・木の実は棚卸ししない"が導かれる
2. 推論1と事実5から、仮説が否定される

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