ある物は行き易くないしややこしいということはない
fact1: 何らかのものはややこしくない fact2: その蛸壺はややこしくない fact3: 何らかの物は粒子数でないけど張り込む fact4: 行き易い物は動き難くなくてかつ送金出来ない fact5: その蛸壺は行き易くない
fact5 & fact2 -> int1: その蛸壺は行き易くなくてその上それはややこしくない; int1 -> hypothesis;
fact5 & fact2 -> int1: (¬{A}{a} & ¬{B}{a}); int1 -> hypothesis;
その蛸壺は動き難くなくて加えて送金出来ない
fact6 -> int2: 仮にその蛸壺が行き易いならばそれは動き難くなくて送金出来ない;
$facts$ = fact1: 何らかのものはややこしくない fact2: その蛸壺はややこしくない fact3: 何らかの物は粒子数でないけど張り込む fact4: 行き易い物は動き難くなくてかつ送金出来ない fact5: その蛸壺は行き易くない ; $hypothesis$ = ある物は行き易くないしややこしいということはない ; $proof$ = 
fact5 & fact2 -> int1: その蛸壺は行き易くなくてその上それはややこしくない; int1 -> hypothesis; __PROVED__
事実1: 何らかのものはややこしくない
事実2: その蛸壺はややこしくない
事実3: 何らかの物は粒子数でないけど張り込む
事実4: 行き易い物は動き難くなくてかつ送金出来ない
事実5: その蛸壺は行き易くない

仮説: ある物は行き易くないしややこしいということはない
1. 事実5と事実2から、推論1: "その蛸壺は行き易くなくてその上それはややこしくない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。