あの液量は宮座であるということはない
fact1: その情報処理機能は御雇うなら「あのＮＦＴは覆刻するけど取っ付き難くない」ということは成り立つということはない fact2: あの液量が手伝えばそれは宮座だ fact3: 美しないものは突くということはないが御雇う fact4: その肥壺は白くないとしたら「「入水自殺しないししかもそれは浅黒くない」ということは真実である」ということは間違いだ fact5: あの液量は疑り深い fact6: なにかは出易くないならあのＢ会社は短縮出来るということはない fact7: その肥壺は屈曲しなくてエストロゲンでない fact8: もし仮に「あのＮＦＴは覆刻するけど取っ付き難いということはない」ということは成り立たないならばこの用例は出易いということはない fact9: 「その肥壺は入水自殺しないししかも浅黒くない」ということは成り立たないならば「その情報処理機能は美しない」ということは確かである fact10: なんらかの物は炭酸カルシウムであるということはないなら「大名衆であるかそれは手伝うということはないかまたはどちらもである」ということは事実と異なる fact11: 頼り無いということはないものが疑り深いならそれは手伝う fact12: 仮にこのガラス器がどうしても欲しいが等閑視しないとするとこの盛り上がりは等閑視しない fact13: 仮にその肥壺が屈曲しなくてその上それはエストロゲンでないとしたら「白くない」ということは事実である fact14: もしもあのＢ会社が短縮出来るということはないならばこのガラス器はどうしても欲しいが等閑視しない fact15: もしもこの盛り上がりが寂しかないがふんわりするならばあの州内は炭酸カルシウムでない fact16: 「あの独ソ不可侵条約は頼り無い」ということは成り立つ fact17: もし仮になにかは等閑視しないとすると寂しいということはない一方でふんわりする fact18: 「あの液量は頼り無くない」ということは成り立つ
fact11 -> int1: 仮に「あの液量は頼り無くないがしかし疑り深い」ということは正しいならそれは手伝う; fact18 & fact5 -> int2: あの液量は頼り無くないけれどそれは疑り深い; int1 & int2 -> int3: あの液量は手伝う; int3 & fact2 -> hypothesis;
あの液量は宮座でない
fact26 -> int4: もしもこの州内は炭酸カルシウムだということはないなら「それは大名衆であるか手伝わないかまたはどちらもである」ということは誤りである; fact21 -> int5: もしもこの盛り上がりが等閑視しないとすると寂しいということはないがしかしふんわりする; fact19 -> int6: もしもその情報処理機能が美しということはないとすれば突くということはないが御雇う; fact24 & fact31 -> int7: その肥壺は白くない; fact25 & int7 -> int8: 「その肥壺は入水自殺しないしそれは浅黒くない」ということは成り立たない; fact28 & int8 -> int9: その情報処理機能は美しない; int6 & int9 -> int10: その情報処理機能は突かないが御雇う; int10 -> int11: その情報処理機能は御雇う; fact22 & int11 -> int12: 「あのＮＦＴは覆刻するけど取っ付き難くない」ということは偽である; fact20 & int12 -> int13: この用例は出易いということはない; int13 -> int14: 「出易くない」ものはある; int14 & fact27 -> int15: あのＢ会社は短縮出来ない; fact29 & int15 -> int16: このガラス器はどうしても欲しいがしかし等閑視しない; fact30 & int16 -> int17: この盛り上がりは等閑視しない; int5 & int17 -> int18: この盛り上がりは寂しいということはないがしかしふんわりする; fact23 & int18 -> int19: この州内は炭酸カルシウムでない; int4 & int19 -> int20: 「この州内は大名衆であるか手伝わないか両方ともである」ということは成り立たない; int20 -> int21: 「「大名衆であるか手伝わないかもしくは両方である」ということは成り立つということはない」ものはある;
$facts$ = fact1: その情報処理機能は御雇うなら「あのＮＦＴは覆刻するけど取っ付き難くない」ということは成り立つということはない fact2: あの液量が手伝えばそれは宮座だ fact3: 美しないものは突くということはないが御雇う fact4: その肥壺は白くないとしたら「「入水自殺しないししかもそれは浅黒くない」ということは真実である」ということは間違いだ fact5: あの液量は疑り深い fact6: なにかは出易くないならあのＢ会社は短縮出来るということはない fact7: その肥壺は屈曲しなくてエストロゲンでない fact8: もし仮に「あのＮＦＴは覆刻するけど取っ付き難いということはない」ということは成り立たないならばこの用例は出易いということはない fact9: 「その肥壺は入水自殺しないししかも浅黒くない」ということは成り立たないならば「その情報処理機能は美しない」ということは確かである fact10: なんらかの物は炭酸カルシウムであるということはないなら「大名衆であるかそれは手伝うということはないかまたはどちらもである」ということは事実と異なる fact11: 頼り無いということはないものが疑り深いならそれは手伝う fact12: 仮にこのガラス器がどうしても欲しいが等閑視しないとするとこの盛り上がりは等閑視しない fact13: 仮にその肥壺が屈曲しなくてその上それはエストロゲンでないとしたら「白くない」ということは事実である fact14: もしもあのＢ会社が短縮出来るということはないならばこのガラス器はどうしても欲しいが等閑視しない fact15: もしもこの盛り上がりが寂しかないがふんわりするならばあの州内は炭酸カルシウムでない fact16: 「あの独ソ不可侵条約は頼り無い」ということは成り立つ fact17: もし仮になにかは等閑視しないとすると寂しいということはない一方でふんわりする fact18: 「あの液量は頼り無くない」ということは成り立つ ; $hypothesis$ = あの液量は宮座であるということはない ; $proof$ = 
fact11 -> int1: 仮に「あの液量は頼り無くないがしかし疑り深い」ということは正しいならそれは手伝う; fact18 & fact5 -> int2: あの液量は頼り無くないけれどそれは疑り深い; int1 & int2 -> int3: あの液量は手伝う; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: その情報処理機能は御雇うなら「あのＮＦＴは覆刻するけど取っ付き難くない」ということは成り立つということはない
事実2: あの液量が手伝えばそれは宮座だ
事実3: 美しないものは突くということはないが御雇う
事実4: その肥壺は白くないとしたら「「入水自殺しないししかもそれは浅黒くない」ということは真実である」ということは間違いだ
事実5: あの液量は疑り深い
事実6: なにかは出易くないならあのＢ会社は短縮出来るということはない
事実7: その肥壺は屈曲しなくてエストロゲンでない
事実8: もし仮に「あのＮＦＴは覆刻するけど取っ付き難いということはない」ということは成り立たないならばこの用例は出易いということはない
事実9: 「その肥壺は入水自殺しないししかも浅黒くない」ということは成り立たないならば「その情報処理機能は美しない」ということは確かである
事実10: なんらかの物は炭酸カルシウムであるということはないなら「大名衆であるかそれは手伝うということはないかまたはどちらもである」ということは事実と異なる
事実11: 頼り無いということはないものが疑り深いならそれは手伝う
事実12: 仮にこのガラス器がどうしても欲しいが等閑視しないとするとこの盛り上がりは等閑視しない
事実13: 仮にその肥壺が屈曲しなくてその上それはエストロゲンでないとしたら「白くない」ということは事実である
事実14: もしもあのＢ会社が短縮出来るということはないならばこのガラス器はどうしても欲しいが等閑視しない
事実15: もしもこの盛り上がりが寂しかないがふんわりするならばあの州内は炭酸カルシウムでない
事実16: 「あの独ソ不可侵条約は頼り無い」ということは成り立つ
事実17: もし仮になにかは等閑視しないとすると寂しいということはない一方でふんわりする
事実18: 「あの液量は頼り無くない」ということは成り立つ

仮説: あの液量は宮座であるということはない
1. 事実11から、推論1: "仮に「あの液量は頼り無くないがしかし疑り深い」ということは正しいならそれは手伝う"が導かれる
2. 事実18と事実5から、推論2: "あの液量は頼り無くないけれどそれは疑り深い"が導かれる
3. 推論1と推論2から、推論3: "あの液量は手伝う"が導かれる
4. 推論3と事実2から、仮説が否定される

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