その低金利時代は実世界だということはない
fact1: 「「出来易くない」ということは確かである」ものはある fact2: もしも「「出来易くない」ということは確かである」物はあるとすると「その低金利時代は浅黒くないし加えてそれは山遊びでない」ということは成り立たない fact3: 「なんらかの物は浅黒くないし山遊びでない」ということは成り立たないならばそれは実世界でない
fact1 & fact2 -> int1: 「その低金利時代は浅黒くないし山遊びであるということはない」ということは事実と異なる; fact3 -> int2: もし仮に「その低金利時代は浅黒くないしかつ山遊びでない」ということは成り立たないとするとそれは実世界でない; int1 & int2 -> hypothesis;
$facts$ = fact1: 「「出来易くない」ということは確かである」ものはある fact2: もしも「「出来易くない」ということは確かである」物はあるとすると「その低金利時代は浅黒くないし加えてそれは山遊びでない」ということは成り立たない fact3: 「なんらかの物は浅黒くないし山遊びでない」ということは成り立たないならばそれは実世界でない ; $hypothesis$ = その低金利時代は実世界だということはない ; $proof$ = 
fact1 & fact2 -> int1: 「その低金利時代は浅黒くないし山遊びであるということはない」ということは事実と異なる; fact3 -> int2: もし仮に「その低金利時代は浅黒くないしかつ山遊びでない」ということは成り立たないとするとそれは実世界でない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「「出来易くない」ということは確かである」ものはある
事実2: もしも「「出来易くない」ということは確かである」物はあるとすると「その低金利時代は浅黒くないし加えてそれは山遊びでない」ということは成り立たない
事実3: 「なんらかの物は浅黒くないし山遊びでない」ということは成り立たないならばそれは実世界でない

仮説: その低金利時代は実世界だということはない
1. 事実1と事実2から、推論1: "「その低金利時代は浅黒くないし山遊びであるということはない」ということは事実と異なる"が導かれる
2. 事実3から、推論2: "もし仮に「その低金利時代は浅黒くないしかつ山遊びでない」ということは成り立たないとするとそれは実世界でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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