あの御半は心苦しい
fact1: もしもとあるものが飽かないけどそれが差し入るならそれは御話し下さらない fact2: もしもあの御半は数筆でないしさらに平ったいということはないならば「それは心苦しくない」ということは成り立つ fact3: あの御半は数筆でなくて平ったくない fact4: 何かは御話し下さらないとしたらそれは心苦しくて加えてめんどい
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
あの御半は心苦しい
fact5 -> int1: あの御半は御話し下さらないとしたら心苦しくてそれにめんどい; fact6 -> int2: もし仮にあの御半は飽かない一方で差し入るなら御話し下さらない;
$facts$ = fact1: もしもとあるものが飽かないけどそれが差し入るならそれは御話し下さらない fact2: もしもあの御半は数筆でないしさらに平ったいということはないならば「それは心苦しくない」ということは成り立つ fact3: あの御半は数筆でなくて平ったくない fact4: 何かは御話し下さらないとしたらそれは心苦しくて加えてめんどい ; $hypothesis$ = あの御半は心苦しい ; $proof$ = 
fact2 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもとあるものが飽かないけどそれが差し入るならそれは御話し下さらない
事実2: もしもあの御半は数筆でないしさらに平ったいということはないならば「それは心苦しくない」ということは成り立つ
事実3: あの御半は数筆でなくて平ったくない
事実4: 何かは御話し下さらないとしたらそれは心苦しくて加えてめんどい

仮説: あの御半は心苦しい
1. 事実2と事実3から、仮説が否定される

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