あの古学堂は体でない
fact1: 「もし仮に御恥ずかしい物が事足りるとすれば体でない」ということは正しい fact2: 「あの古学堂は解し難くないとすれば「あの真俗は体でなくてそれにそれは御恥ずかしくない」ということは誤りだ」ということは真実である fact3: あの古学堂は御恥ずかしい fact4: あの古学堂は事足りる
fact3 & fact4 -> int1: あの古学堂が御恥ずかしいしその上それは事足りる; fact1 -> int2: もしあの古学堂が御恥ずかしくてそれが事足りるなら体でない; int1 & int2 -> hypothesis;
fact3 & fact4 -> int1: ({A}{a} & {B}{a}); fact1 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
あの真俗は事足りない
$facts$ = fact1: 「もし仮に御恥ずかしい物が事足りるとすれば体でない」ということは正しい fact2: 「あの古学堂は解し難くないとすれば「あの真俗は体でなくてそれにそれは御恥ずかしくない」ということは誤りだ」ということは真実である fact3: あの古学堂は御恥ずかしい fact4: あの古学堂は事足りる ; $hypothesis$ = あの古学堂は体でない ; $proof$ = 
fact3 & fact4 -> int1: あの古学堂が御恥ずかしいしその上それは事足りる; fact1 -> int2: もしあの古学堂が御恥ずかしくてそれが事足りるなら体でない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「もし仮に御恥ずかしい物が事足りるとすれば体でない」ということは正しい
事実2: 「あの古学堂は解し難くないとすれば「あの真俗は体でなくてそれにそれは御恥ずかしくない」ということは誤りだ」ということは真実である
事実3: あの古学堂は御恥ずかしい
事実4: あの古学堂は事足りる

仮説: あの古学堂は体でない
1. 事実3と事実4から、推論1: "あの古学堂が御恥ずかしいしその上それは事足りる"が導かれる
2. 事実1から、推論2: "もしあの古学堂が御恥ずかしくてそれが事足りるなら体でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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