「あの粒子数は逃れ難くないがしかしそれは動揺し易い」ということは誤りである
fact1: 想像し易くないものは逃れ難いし加えてオーバーホールする fact2: 「仮にその軍事バランスはビット・パターンだということはないならば「あの粒子数は逃れ難くないけれど動揺し易い」ということは偽だ」ということは真実だ fact3: 「「逃れ難い」ということは正しい」物があるとすればその軍事バランスは動揺し易くない fact4: その軍事バランスは御安い fact5: その軍事バランスが御安いならばそれはビット・パターンでない fact6: もしあの粒子数が御安いなら動揺し易いということはない fact7: 「もしもその軍事バランスが動揺し易くないとしたらその軍備は御安くないけれどビット・パターンだ」ということは正しい
fact5 & fact4 -> int1: 「その軍事バランスはビット・パターンでない」ということは確かである; int1 & fact2 -> hypothesis;
その軍備はビット・パターンだ
fact10 -> int2: 仮にこのリオ宣言が想像し易くないならばそれは逃れ難いしオーバーホールする;
$facts$ = fact1: 想像し易くないものは逃れ難いし加えてオーバーホールする fact2: 「仮にその軍事バランスはビット・パターンだということはないならば「あの粒子数は逃れ難くないけれど動揺し易い」ということは偽だ」ということは真実だ fact3: 「「逃れ難い」ということは正しい」物があるとすればその軍事バランスは動揺し易くない fact4: その軍事バランスは御安い fact5: その軍事バランスが御安いならばそれはビット・パターンでない fact6: もしあの粒子数が御安いなら動揺し易いということはない fact7: 「もしもその軍事バランスが動揺し易くないとしたらその軍備は御安くないけれどビット・パターンだ」ということは正しい ; $hypothesis$ = 「あの粒子数は逃れ難くないがしかしそれは動揺し易い」ということは誤りである ; $proof$ = 
fact5 & fact4 -> int1: 「その軍事バランスはビット・パターンでない」ということは確かである; int1 & fact2 -> hypothesis; __PROVED__
事実1: 想像し易くないものは逃れ難いし加えてオーバーホールする
事実2: 「仮にその軍事バランスはビット・パターンだということはないならば「あの粒子数は逃れ難くないけれど動揺し易い」ということは偽だ」ということは真実だ
事実3: 「「逃れ難い」ということは正しい」物があるとすればその軍事バランスは動揺し易くない
事実4: その軍事バランスは御安い
事実5: その軍事バランスが御安いならばそれはビット・パターンでない
事実6: もしあの粒子数が御安いなら動揺し易いということはない
事実7: 「もしもその軍事バランスが動揺し易くないとしたらその軍備は御安くないけれどビット・パターンだ」ということは正しい

仮説: 「あの粒子数は逃れ難くないがしかしそれは動揺し易い」ということは誤りである
1. 事実5と事実4から、推論1: "「その軍事バランスはビット・パターンでない」ということは確かである"が導かれる
2. 推論1と事実2から、仮説が導かれる

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