あの技術開発力は御存じ無いということはない
fact1: あの数量化は萎縮する fact2: あの数量化は溜め込み易い fact3: 仮にあのインターネット利用がＢＣ間だということはないとしたらこの鶴嘴は共謀するししかも御記憶である fact4: あるものが裏地であるとしたらあのインターネット利用はＢＣ間でない fact5: この形成要因はアルカリ金属であるとすると裏地だ fact6: この形成要因はアルカリ金属である fact7: 「あの数量化は溜め込み易い」ということは正しいならあの技術開発力は萎縮するけれど愛情深くない fact8: 入手し易いということはない物は溜め込み易いけれど青白くない fact9: もしもあの数量化が溜め込み易いけど青白くないとすればあの技術開発力は御存じ無くない fact10: あの数量化は御存じ無い fact11: ある物が萎縮する一方で愛情深いということはないならばそれは御存じ無い
fact7 & fact2 -> int1: あの技術開発力は萎縮するがしかし愛情深くない; fact11 -> int2: もしあの技術開発力が萎縮する一方で愛情深くないとしたらそれは御存じ無い; int1 & int2 -> hypothesis;
「あの技術開発力は御存じ無くない」ということは真実である
fact14 -> int3: あの数量化が入手し易くないとすればそれは溜め込み易くて加えて青白くない; fact12 & fact17 -> int4: この形成要因は裏地である; int4 -> int5: 何かは裏地である; int5 & fact16 -> int6: あのインターネット利用はＢＣ間でない; fact13 & int6 -> int7: この鶴嘴は共謀するし更にそれは御記憶である; int7 -> int8: この鶴嘴は共謀する; int8 -> int9: この鶴嘴は共謀するか入手し易くないかどちらもだ; int9 -> int10: 「共謀するか入手し易いということはないかまたはどちらもである」物はある;
$facts$ = fact1: あの数量化は萎縮する fact2: あの数量化は溜め込み易い fact3: 仮にあのインターネット利用がＢＣ間だということはないとしたらこの鶴嘴は共謀するししかも御記憶である fact4: あるものが裏地であるとしたらあのインターネット利用はＢＣ間でない fact5: この形成要因はアルカリ金属であるとすると裏地だ fact6: この形成要因はアルカリ金属である fact7: 「あの数量化は溜め込み易い」ということは正しいならあの技術開発力は萎縮するけれど愛情深くない fact8: 入手し易いということはない物は溜め込み易いけれど青白くない fact9: もしもあの数量化が溜め込み易いけど青白くないとすればあの技術開発力は御存じ無くない fact10: あの数量化は御存じ無い fact11: ある物が萎縮する一方で愛情深いということはないならばそれは御存じ無い ; $hypothesis$ = あの技術開発力は御存じ無いということはない ; $proof$ = 
fact7 & fact2 -> int1: あの技術開発力は萎縮するがしかし愛情深くない; fact11 -> int2: もしあの技術開発力が萎縮する一方で愛情深くないとしたらそれは御存じ無い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの数量化は萎縮する
事実2: あの数量化は溜め込み易い
事実3: 仮にあのインターネット利用がＢＣ間だということはないとしたらこの鶴嘴は共謀するししかも御記憶である
事実4: あるものが裏地であるとしたらあのインターネット利用はＢＣ間でない
事実5: この形成要因はアルカリ金属であるとすると裏地だ
事実6: この形成要因はアルカリ金属である
事実7: 「あの数量化は溜め込み易い」ということは正しいならあの技術開発力は萎縮するけれど愛情深くない
事実8: 入手し易いということはない物は溜め込み易いけれど青白くない
事実9: もしもあの数量化が溜め込み易いけど青白くないとすればあの技術開発力は御存じ無くない
事実10: あの数量化は御存じ無い
事実11: ある物が萎縮する一方で愛情深いということはないならばそれは御存じ無い

仮説: あの技術開発力は御存じ無いということはない
1. 事実7と事実2から、推論1: "あの技術開発力は萎縮するがしかし愛情深くない"が導かれる
2. 事実11から、推論2: "もしあの技術開発力が萎縮する一方で愛情深くないとしたらそれは御存じ無い"が導かれる
3. 推論1と推論2から、仮説が否定される

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