あの遠隔転移は構え易くない
fact1: 「「貯蓄するし食生活指針だ」ということは成り立たない」ものがあるならあの遠隔転移は構え易い fact2: 「貯蓄するし食生活指針である」物はある fact3: あの遠隔転移は食生活指針だ fact4: 仮にあの遠隔転移は見境無いということはないなら「あの理論研究は構え易いししかも割れ難い」ということは真実でない fact5: もし仮に何らかのものが十六文であるかまたはそれは乱暴するかどちらもであるとしたらそれは律でない fact6: 見境無くないものは構え易いかまたは扱い易くないかもしくは両方だ fact7: 仮に「貯蓄しない」物があるならばあの遠隔転移は構え易い fact8: あの遠隔転移は貯蓄する fact9: 扱い易い物は見境無くない fact10: あの銃弾は十六文である fact11: 「そのボーリング場は貯蓄するし加えて食生活指針である」ということは間違っている fact12: 「そのボーリング場は構え易いし更に食生活指針だ」ということは間違っている fact13: もし「「構え易くて貯蓄する」ということは成り立たない」ものがあるとしたらあの遠隔転移は食生活指針である
fact11 -> int1: 「「貯蓄するしそれに食生活指針である」ということは成り立たない」ものはある; int1 & fact1 -> hypothesis;
あの遠隔転移は構え易くない
fact14 -> int2: もしもその四日前が見境無くないとすると構え易いか扱い易くないか両方ともである; fact16 -> int3: もしもあの銃弾が十六文であるかそれが乱暴すればそれは律でない; fact15 -> int4: あの銃弾は十六文であるかまたはそれは乱暴するかあるいは両方である; int3 & int4 -> int5: あの銃弾は律であるということはない; int5 -> int6: なにがしかの物は律でない;
$facts$ = fact1: 「「貯蓄するし食生活指針だ」ということは成り立たない」ものがあるならあの遠隔転移は構え易い fact2: 「貯蓄するし食生活指針である」物はある fact3: あの遠隔転移は食生活指針だ fact4: 仮にあの遠隔転移は見境無いということはないなら「あの理論研究は構え易いししかも割れ難い」ということは真実でない fact5: もし仮に何らかのものが十六文であるかまたはそれは乱暴するかどちらもであるとしたらそれは律でない fact6: 見境無くないものは構え易いかまたは扱い易くないかもしくは両方だ fact7: 仮に「貯蓄しない」物があるならばあの遠隔転移は構え易い fact8: あの遠隔転移は貯蓄する fact9: 扱い易い物は見境無くない fact10: あの銃弾は十六文である fact11: 「そのボーリング場は貯蓄するし加えて食生活指針である」ということは間違っている fact12: 「そのボーリング場は構え易いし更に食生活指針だ」ということは間違っている fact13: もし「「構え易くて貯蓄する」ということは成り立たない」ものがあるとしたらあの遠隔転移は食生活指針である ; $hypothesis$ = あの遠隔転移は構え易くない ; $proof$ = 
fact11 -> int1: 「「貯蓄するしそれに食生活指針である」ということは成り立たない」ものはある; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 「「貯蓄するし食生活指針だ」ということは成り立たない」ものがあるならあの遠隔転移は構え易い
事実2: 「貯蓄するし食生活指針である」物はある
事実3: あの遠隔転移は食生活指針だ
事実4: 仮にあの遠隔転移は見境無いということはないなら「あの理論研究は構え易いししかも割れ難い」ということは真実でない
事実5: もし仮に何らかのものが十六文であるかまたはそれは乱暴するかどちらもであるとしたらそれは律でない
事実6: 見境無くないものは構え易いかまたは扱い易くないかもしくは両方だ
事実7: 仮に「貯蓄しない」物があるならばあの遠隔転移は構え易い
事実8: あの遠隔転移は貯蓄する
事実9: 扱い易い物は見境無くない
事実10: あの銃弾は十六文である
事実11: 「そのボーリング場は貯蓄するし加えて食生活指針である」ということは間違っている
事実12: 「そのボーリング場は構え易いし更に食生活指針だ」ということは間違っている
事実13: もし「「構え易くて貯蓄する」ということは成り立たない」ものがあるとしたらあの遠隔転移は食生活指針である

仮説: あの遠隔転移は構え易くない
1. 事実11から、推論1: "「「貯蓄するしそれに食生活指針である」ということは成り立たない」ものはある"が導かれる
2. 推論1と事実1から、仮説が否定される

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