その蛋白石は数値化しないし掘り進まない
fact1: もしとあるものは此れ以降であるかあるいは恐れ多いならば刮げ取るということはない fact2: その蛋白石は恐れ多い fact3: 仮にとある物は刮げ取らないとすれば「数値化しないしさらに掘り進まない」ということは偽だ
fact2 -> int1: その蛋白石は此れ以降であるかまたはそれは恐れ多い; fact1 -> int2: もしその蛋白石が此れ以降であるか恐れ多いかもしくはどちらもであるとすればそれは刮げ取らない; int1 & int2 -> int3: その蛋白石は刮げ取らない; fact3 -> int4: もしもその蛋白石は刮げ取らないとすると「それは数値化しなくてそれにそれは掘り進まない」ということは間違っている; int3 & int4 -> hypothesis;
$facts$ = fact1: もしとあるものは此れ以降であるかあるいは恐れ多いならば刮げ取るということはない fact2: その蛋白石は恐れ多い fact3: 仮にとある物は刮げ取らないとすれば「数値化しないしさらに掘り進まない」ということは偽だ ; $hypothesis$ = その蛋白石は数値化しないし掘り進まない ; $proof$ = 
fact2 -> int1: その蛋白石は此れ以降であるかまたはそれは恐れ多い; fact1 -> int2: もしその蛋白石が此れ以降であるか恐れ多いかもしくはどちらもであるとすればそれは刮げ取らない; int1 & int2 -> int3: その蛋白石は刮げ取らない; fact3 -> int4: もしもその蛋白石は刮げ取らないとすると「それは数値化しなくてそれにそれは掘り進まない」ということは間違っている; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしとあるものは此れ以降であるかあるいは恐れ多いならば刮げ取るということはない
事実2: その蛋白石は恐れ多い
事実3: 仮にとある物は刮げ取らないとすれば「数値化しないしさらに掘り進まない」ということは偽だ

仮説: その蛋白石は数値化しないし掘り進まない
1. 事実2から、推論1: "その蛋白石は此れ以降であるかまたはそれは恐れ多い"が導かれる
2. 事実1から、推論2: "もしその蛋白石が此れ以降であるか恐れ多いかもしくはどちらもであるとすればそれは刮げ取らない"が導かれる
3. 推論1と推論2から、推論3: "その蛋白石は刮げ取らない"が導かれる
4. 事実3から、推論4: "もしもその蛋白石は刮げ取らないとすると「それは数値化しなくてそれにそれは掘り進まない」ということは間違っている"が導かれる
5. 推論3と推論4から、仮説が否定される

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