「あの電子化はどす黒くないけれど重々しい」ということは誤りだ
fact1: あの豊島家が階級社会であるし螺子止めするとしたらあの先行技術は監護しない fact2: あの豊島家は階級社会である fact3: あの豊島家は螺子止めする fact4: 「もしもあの先行技術が監護しないとしたらあの電子化はどす黒くない一方で重々しい」ということは成り立つ
fact2 & fact3 -> int1: あの豊島家は階級社会であるし螺子止めする; int1 & fact1 -> int2: あの先行技術は監護しない; int2 & fact4 -> hypothesis;
$facts$ = fact1: あの豊島家が階級社会であるし螺子止めするとしたらあの先行技術は監護しない fact2: あの豊島家は階級社会である fact3: あの豊島家は螺子止めする fact4: 「もしもあの先行技術が監護しないとしたらあの電子化はどす黒くない一方で重々しい」ということは成り立つ ; $hypothesis$ = 「あの電子化はどす黒くないけれど重々しい」ということは誤りだ ; $proof$ = 
fact2 & fact3 -> int1: あの豊島家は階級社会であるし螺子止めする; int1 & fact1 -> int2: あの先行技術は監護しない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: あの豊島家が階級社会であるし螺子止めするとしたらあの先行技術は監護しない
事実2: あの豊島家は階級社会である
事実3: あの豊島家は螺子止めする
事実4: 「もしもあの先行技術が監護しないとしたらあの電子化はどす黒くない一方で重々しい」ということは成り立つ

仮説: 「あの電子化はどす黒くないけれど重々しい」ということは誤りだ
1. 事実2と事実3から、推論1: "あの豊島家は階級社会であるし螺子止めする"が導かれる
2. 推論1と事実1から、推論2: "あの先行技術は監護しない"が導かれる
3. 推論2と事実4から、仮説が否定される

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