この公判期日は灰汁抜きするかそれは所であるかもしくはどちらもだ
fact1: すべてのものは御返す fact2: あの三軒茶屋は全うするとすれば「この公判期日は灰汁抜きする」ということは成り立つ fact3: その藩領は全うする fact4: もしも何らかの物は御返すとすれば「全うする」ということは成り立つ
fact1 -> int1: あの三軒茶屋は御返す; fact4 -> int2: もしもあの三軒茶屋が御返すとすると全うする; int1 & int2 -> int3: あの三軒茶屋は全うする; int3 & fact2 -> int4: この公判期日は灰汁抜きする; int4 -> hypothesis;
$facts$ = fact1: すべてのものは御返す fact2: あの三軒茶屋は全うするとすれば「この公判期日は灰汁抜きする」ということは成り立つ fact3: その藩領は全うする fact4: もしも何らかの物は御返すとすれば「全うする」ということは成り立つ ; $hypothesis$ = この公判期日は灰汁抜きするかそれは所であるかもしくはどちらもだ ; $proof$ = 
fact1 -> int1: あの三軒茶屋は御返す; fact4 -> int2: もしもあの三軒茶屋が御返すとすると全うする; int1 & int2 -> int3: あの三軒茶屋は全うする; int3 & fact2 -> int4: この公判期日は灰汁抜きする; int4 -> hypothesis; __PROVED__
事実1: すべてのものは御返す
事実2: あの三軒茶屋は全うするとすれば「この公判期日は灰汁抜きする」ということは成り立つ
事実3: その藩領は全うする
事実4: もしも何らかの物は御返すとすれば「全うする」ということは成り立つ

仮説: この公判期日は灰汁抜きするかそれは所であるかもしくはどちらもだ
1. 事実1から、推論1: "あの三軒茶屋は御返す"が導かれる
2. 事実4から、推論2: "もしもあの三軒茶屋が御返すとすると全うする"が導かれる
3. 推論1と推論2から、推論3: "あの三軒茶屋は全うする"が導かれる
4. 推論3と事実2から、推論4: "この公判期日は灰汁抜きする"が導かれる
5. 推論4から、仮説が導かれる

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