そのＳＶＯは散らからない
fact1: もしも何らかの物が失い兼ねるとしたら御借りする fact2: もしもこの改良揚操網が散らかるかまたは絶え間無くないか両方だとすればそのＳＶＯは散らからない fact3: もし仮に「あの暗号モジュールは肉叉であるし中心窩だ」ということは事実と異なればそれはクオリティでない fact4: なんらかのものが絶え間無くないけれどそれが動き難いとすればそのＳＶＯは散らかる fact5: なにかは絶え間無くない一方でそれは動き難い fact6: 手酷いものは失い兼ねる fact7: 何かは握り易くないけどそれは覚知する fact8: 「あの暗号モジュールは肉叉であるししかもそれは中心窩だ」ということは成り立たない fact9: もし仮に「あの暗号モジュールはクオリティでない」ということは本当であるとすれば手酷いしさらにそれは忝くない fact10: 動き難い物は散らかるかあるいは絶え間無いということはない fact11: もし絶え間無いものが動き難いとすればそのＳＶＯは散らかる
fact5 & fact4 -> hypothesis;
fact5 & fact4 -> hypothesis;
そのＳＶＯは散らからない
fact15 -> int1: もしもこの改良揚操網が動き難いとするとそれは散らかるかもしくは絶え間無くないかもしくは両方である; fact16 -> int2: もしもあの暗号モジュールが失い兼ねるとすればそれは御借りする; fact13 -> int3: もし仮にあの暗号モジュールが手酷いとしたらそれは失い兼ねる; fact12 & fact14 -> int4: 「あの暗号モジュールはクオリティであるということはない」ということは成り立つ; fact17 & int4 -> int5: あの暗号モジュールは手酷い一方でそれは忝くない; int5 -> int6: あの暗号モジュールは手酷い; int3 & int6 -> int7: あの暗号モジュールは失い兼ねる; int2 & int7 -> int8: あの暗号モジュールは御借りする; int8 -> int9: 「御借りする」物はある;
$facts$ = fact1: もしも何らかの物が失い兼ねるとしたら御借りする fact2: もしもこの改良揚操網が散らかるかまたは絶え間無くないか両方だとすればそのＳＶＯは散らからない fact3: もし仮に「あの暗号モジュールは肉叉であるし中心窩だ」ということは事実と異なればそれはクオリティでない fact4: なんらかのものが絶え間無くないけれどそれが動き難いとすればそのＳＶＯは散らかる fact5: なにかは絶え間無くない一方でそれは動き難い fact6: 手酷いものは失い兼ねる fact7: 何かは握り易くないけどそれは覚知する fact8: 「あの暗号モジュールは肉叉であるししかもそれは中心窩だ」ということは成り立たない fact9: もし仮に「あの暗号モジュールはクオリティでない」ということは本当であるとすれば手酷いしさらにそれは忝くない fact10: 動き難い物は散らかるかあるいは絶え間無いということはない fact11: もし絶え間無いものが動き難いとすればそのＳＶＯは散らかる ; $hypothesis$ = そのＳＶＯは散らからない ; $proof$ = 
fact5 & fact4 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物が失い兼ねるとしたら御借りする
事実2: もしもこの改良揚操網が散らかるかまたは絶え間無くないか両方だとすればそのＳＶＯは散らからない
事実3: もし仮に「あの暗号モジュールは肉叉であるし中心窩だ」ということは事実と異なればそれはクオリティでない
事実4: なんらかのものが絶え間無くないけれどそれが動き難いとすればそのＳＶＯは散らかる
事実5: なにかは絶え間無くない一方でそれは動き難い
事実6: 手酷いものは失い兼ねる
事実7: 何かは握り易くないけどそれは覚知する
事実8: 「あの暗号モジュールは肉叉であるししかもそれは中心窩だ」ということは成り立たない
事実9: もし仮に「あの暗号モジュールはクオリティでない」ということは本当であるとすれば手酷いしさらにそれは忝くない
事実10: 動き難い物は散らかるかあるいは絶え間無いということはない
事実11: もし絶え間無いものが動き難いとすればそのＳＶＯは散らかる

仮説: そのＳＶＯは散らからない
1. 事実5と事実4から、仮説が否定される

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