あの郵貯・簡保は知り過ぎない
fact1: 仮に「「救護する」ということは事実である」物はあるとしたら「この中央集権体制は覚え難くなくてまたそれは知り過ぎない」ということは嘘である fact2: なにかは救護しないとしたら「うざいということはなくてまた忙しない」ということは成り立たない fact3: この中央集権体制は救護しなくて覚え難くない fact4: 忙しなくないものは救護するしうざい fact5: もし「「「うざくないけど忙しない」ということは成り立つ」ということは成り立つということはない」ものはあるとすれば「あの郵貯・簡保は知り過ぎない」ということは確かである
fact3 -> int1: 「この中央集権体制は救護しない」ということは本当である; fact2 -> int2: もしも「この中央集権体制は救護しない」ということは本当であるなら「それはうざくないしそれは忙しない」ということは成り立たない; int1 & int2 -> int3: 「この中央集権体制はうざくないけどそれは忙しない」ということは成り立たない; int3 -> int4: 「「うざくなくて忙しない」ということは成り立つということはない」ものはある; int4 & fact5 -> hypothesis;
あの郵貯・簡保は知り過ぎる
fact7 -> int5: 仮に「この連生年金は忙しなくない」ということは正しいとすればそれは救護するしかつうざい;
$facts$ = fact1: 仮に「「救護する」ということは事実である」物はあるとしたら「この中央集権体制は覚え難くなくてまたそれは知り過ぎない」ということは嘘である fact2: なにかは救護しないとしたら「うざいということはなくてまた忙しない」ということは成り立たない fact3: この中央集権体制は救護しなくて覚え難くない fact4: 忙しなくないものは救護するしうざい fact5: もし「「「うざくないけど忙しない」ということは成り立つ」ということは成り立つということはない」ものはあるとすれば「あの郵貯・簡保は知り過ぎない」ということは確かである ; $hypothesis$ = あの郵貯・簡保は知り過ぎない ; $proof$ = 
fact3 -> int1: 「この中央集権体制は救護しない」ということは本当である; fact2 -> int2: もしも「この中央集権体制は救護しない」ということは本当であるなら「それはうざくないしそれは忙しない」ということは成り立たない; int1 & int2 -> int3: 「この中央集権体制はうざくないけどそれは忙しない」ということは成り立たない; int3 -> int4: 「「うざくなくて忙しない」ということは成り立つということはない」ものはある; int4 & fact5 -> hypothesis; __PROVED__
事実1: 仮に「「救護する」ということは事実である」物はあるとしたら「この中央集権体制は覚え難くなくてまたそれは知り過ぎない」ということは嘘である
事実2: なにかは救護しないとしたら「うざいということはなくてまた忙しない」ということは成り立たない
事実3: この中央集権体制は救護しなくて覚え難くない
事実4: 忙しなくないものは救護するしうざい
事実5: もし「「「うざくないけど忙しない」ということは成り立つ」ということは成り立つということはない」ものはあるとすれば「あの郵貯・簡保は知り過ぎない」ということは確かである

仮説: あの郵貯・簡保は知り過ぎない
1. 事実3から、推論1: "「この中央集権体制は救護しない」ということは本当である"が導かれる
2. 事実2から、推論2: "もしも「この中央集権体制は救護しない」ということは本当であるなら「それはうざくないしそれは忙しない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「この中央集権体制はうざくないけどそれは忙しない」ということは成り立たない"が導かれる
4. 推論3から、推論4: "「「うざくなくて忙しない」ということは成り立つということはない」ものはある"が導かれる
5. 推論4と事実5から、仮説が導かれる

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