あの程村紙は御求めに成るか火炎伸長でないかあるいは両方ともだ
fact1: もし仮になにかは酩酊だとすれば「それは御求めに成るかあるいは火炎伸長であるということはないかもしくは両方だ」ということは誤りである fact2: あの程村紙は酩酊で夏らしい
fact2 -> int1: あの程村紙は酩酊だ; fact1 -> int2: もしあの程村紙は酩酊であるとしたら「御求めに成るかまたは火炎伸長でないか両方ともだ」ということは成り立たない; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮になにかは酩酊だとすれば「それは御求めに成るかあるいは火炎伸長であるということはないかもしくは両方だ」ということは誤りである fact2: あの程村紙は酩酊で夏らしい ; $hypothesis$ = あの程村紙は御求めに成るか火炎伸長でないかあるいは両方ともだ ; $proof$ = 
fact2 -> int1: あの程村紙は酩酊だ; fact1 -> int2: もしあの程村紙は酩酊であるとしたら「御求めに成るかまたは火炎伸長でないか両方ともだ」ということは成り立たない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは酩酊だとすれば「それは御求めに成るかあるいは火炎伸長であるということはないかもしくは両方だ」ということは誤りである
事実2: あの程村紙は酩酊で夏らしい

仮説: あの程村紙は御求めに成るか火炎伸長でないかあるいは両方ともだ
1. 事実2から、推論1: "あの程村紙は酩酊だ"が導かれる
2. 事実1から、推論2: "もしあの程村紙は酩酊であるとしたら「御求めに成るかまたは火炎伸長でないか両方ともだ」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が否定される

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