「そのナトリウム原子は納得し易い」ということは成り立つとすれば「「この非行少年は吊り上げないし更に立案しない」ということは成り立たない」ということは間違っていない
fact1: もしもそのナトリウム原子は有るらしくないとしたら「その鬼門ラインは納得し易くないし有るらしくない」ということは成り立つということはない fact2: 納得し易くないものは吊り上げるということはないし此度でない fact3: 納得し易い物は名付け為さらないし加えて御互い同士でない fact4: 「その鬼門ラインはきびきびする」ということは偽だ fact5: 「この非行少年は吊り上げない一方で立案する」ということは間違っている fact6: もし仮にそのナトリウム原子が有るらしいということはないならその鬼門ラインはきびきびするということはない fact7: この非行少年は吊り上げないしかつそれは立案しない fact8: もし仮にこの逆フーリエ変換が立案しないとするとこの非行少年は吊り上げないしおまけに立案しない fact9: もし何らかの物が名付け為さるということはなくて御互い同士でないとすると有るらしくない fact10: 仮にその鬼門ラインが有るらしいということはない一方できびきびするとしたらこの逆フーリエ変換は立案しない fact11: もしもこの逆フーリエ変換は立案しないならば「この非行少年は吊り上げないし立案しない」ということは間違っている fact12: この逆フーリエ変換は立案しないとしたら「この非行少年は吊り上げないがしかし立案する」ということは誤っている fact13: もし仮にそのナトリウム原子が納得し易いならばこの非行少年は吊り上げないし加えて立案するということはない fact14: もしもその鬼門ラインが有るらしいということはなくておまけにきびきびするということはないとしたらこの逆フーリエ変換は立案しない fact15: もしなにがしかの物は名付け為さるが御互い同士でないとすればそれは有るらしくない fact16: 「「この非行少年は吊り上げるけど立案するということはない」ということは本当である」ということは成り立たない fact17: なにがしかのものが名付け為さらないけどそれが御互い同士ならば有るらしくない fact18: もしそのナトリウム原子は名付け為さるけれど御互い同士でないとすれば有るらしくない fact19: もしもそのナトリウム原子は名付け為さらないけれど御互い同士であるとすれば有るらしくない fact20: もし仮になにがしかの物は立案するとしたら「有るらしくないししかもきびきびするということはない」ということは誤っている fact21: 仮にそのナトリウム原子は納得し易いならば「この非行少年は吊り上げない一方でそれは立案する」ということは誤りだ fact22: 仮にこの逆フーリエ変換は立案しないとしたら「この非行少年は吊り上げるが立案しない」ということは成り立たない fact23: もしもそのナトリウム原子が有るらしくないとするとその鬼門ラインが有るらしくないしさらにきびきびしない
fact3 -> int1: そのナトリウム原子が納得し易いとしたらそれは名付け為さらないしその上御互い同士でない; void -> assump1: 以下のように仮定する。そのナトリウム原子は納得し易い; int1 & assump1 -> int2: そのナトリウム原子は名付け為さらなくて更に御互い同士でない; fact9 -> int3: もしそのナトリウム原子が名付け為さらないし加えてそれは御互い同士でないとしたらそれは有るらしくない; int2 & int3 -> int4: そのナトリウム原子は有るらしくない; int4 & fact23 -> int5: 「その鬼門ラインは有るらしくないしおまけにきびきびしない」ということは成り立つ; int5 & fact14 -> int6: この逆フーリエ変換は立案するということはない; int6 & fact11 -> int7: 「「この非行少年は吊り上げるということはなくてそれに立案しない」ということは間違いだ」ということは本当だ; [assump1] & int7 -> hypothesis;
この政治日程は吊り上げないしその上此度でない
fact24 -> int8: もしもこの政治日程が納得し易くないなら吊り上げるということはなくて更にそれは此度でない; fact25 -> int9: この政治日程は立案するなら「「有るらしくないしきびきびしない」ということは成り立つ」ということは成り立つということはない;
$facts$ = fact1: もしもそのナトリウム原子は有るらしくないとしたら「その鬼門ラインは納得し易くないし有るらしくない」ということは成り立つということはない fact2: 納得し易くないものは吊り上げるということはないし此度でない fact3: 納得し易い物は名付け為さらないし加えて御互い同士でない fact4: 「その鬼門ラインはきびきびする」ということは偽だ fact5: 「この非行少年は吊り上げない一方で立案する」ということは間違っている fact6: もし仮にそのナトリウム原子が有るらしいということはないならその鬼門ラインはきびきびするということはない fact7: この非行少年は吊り上げないしかつそれは立案しない fact8: もし仮にこの逆フーリエ変換が立案しないとするとこの非行少年は吊り上げないしおまけに立案しない fact9: もし何らかの物が名付け為さるということはなくて御互い同士でないとすると有るらしくない fact10: 仮にその鬼門ラインが有るらしいということはない一方できびきびするとしたらこの逆フーリエ変換は立案しない fact11: もしもこの逆フーリエ変換は立案しないならば「この非行少年は吊り上げないし立案しない」ということは間違っている fact12: この逆フーリエ変換は立案しないとしたら「この非行少年は吊り上げないがしかし立案する」ということは誤っている fact13: もし仮にそのナトリウム原子が納得し易いならばこの非行少年は吊り上げないし加えて立案するということはない fact14: もしもその鬼門ラインが有るらしいということはなくておまけにきびきびするということはないとしたらこの逆フーリエ変換は立案しない fact15: もしなにがしかの物は名付け為さるが御互い同士でないとすればそれは有るらしくない fact16: 「「この非行少年は吊り上げるけど立案するということはない」ということは本当である」ということは成り立たない fact17: なにがしかのものが名付け為さらないけどそれが御互い同士ならば有るらしくない fact18: もしそのナトリウム原子は名付け為さるけれど御互い同士でないとすれば有るらしくない fact19: もしもそのナトリウム原子は名付け為さらないけれど御互い同士であるとすれば有るらしくない fact20: もし仮になにがしかの物は立案するとしたら「有るらしくないししかもきびきびするということはない」ということは誤っている fact21: 仮にそのナトリウム原子は納得し易いならば「この非行少年は吊り上げない一方でそれは立案する」ということは誤りだ fact22: 仮にこの逆フーリエ変換は立案しないとしたら「この非行少年は吊り上げるが立案しない」ということは成り立たない fact23: もしもそのナトリウム原子が有るらしくないとするとその鬼門ラインが有るらしくないしさらにきびきびしない ; $hypothesis$ = 「そのナトリウム原子は納得し易い」ということは成り立つとすれば「「この非行少年は吊り上げないし更に立案しない」ということは成り立たない」ということは間違っていない ; $proof$ = 
fact3 -> int1: そのナトリウム原子が納得し易いとしたらそれは名付け為さらないしその上御互い同士でない; void -> assump1: 以下のように仮定する。そのナトリウム原子は納得し易い; int1 & assump1 -> int2: そのナトリウム原子は名付け為さらなくて更に御互い同士でない; fact9 -> int3: もしそのナトリウム原子が名付け為さらないし加えてそれは御互い同士でないとしたらそれは有るらしくない; int2 & int3 -> int4: そのナトリウム原子は有るらしくない; int4 & fact23 -> int5: 「その鬼門ラインは有るらしくないしおまけにきびきびしない」ということは成り立つ; int5 & fact14 -> int6: この逆フーリエ変換は立案するということはない; int6 & fact11 -> int7: 「「この非行少年は吊り上げるということはなくてそれに立案しない」ということは間違いだ」ということは本当だ; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしもそのナトリウム原子は有るらしくないとしたら「その鬼門ラインは納得し易くないし有るらしくない」ということは成り立つということはない
事実2: 納得し易くないものは吊り上げるということはないし此度でない
事実3: 納得し易い物は名付け為さらないし加えて御互い同士でない
事実4: 「その鬼門ラインはきびきびする」ということは偽だ
事実5: 「この非行少年は吊り上げない一方で立案する」ということは間違っている
事実6: もし仮にそのナトリウム原子が有るらしいということはないならその鬼門ラインはきびきびするということはない
事実7: この非行少年は吊り上げないしかつそれは立案しない
事実8: もし仮にこの逆フーリエ変換が立案しないとするとこの非行少年は吊り上げないしおまけに立案しない
事実9: もし何らかの物が名付け為さるということはなくて御互い同士でないとすると有るらしくない
事実10: 仮にその鬼門ラインが有るらしいということはない一方できびきびするとしたらこの逆フーリエ変換は立案しない
事実11: もしもこの逆フーリエ変換は立案しないならば「この非行少年は吊り上げないし立案しない」ということは間違っている
事実12: この逆フーリエ変換は立案しないとしたら「この非行少年は吊り上げないがしかし立案する」ということは誤っている
事実13: もし仮にそのナトリウム原子が納得し易いならばこの非行少年は吊り上げないし加えて立案するということはない
事実14: もしもその鬼門ラインが有るらしいということはなくておまけにきびきびするということはないとしたらこの逆フーリエ変換は立案しない
事実15: もしなにがしかの物は名付け為さるが御互い同士でないとすればそれは有るらしくない
事実16: 「「この非行少年は吊り上げるけど立案するということはない」ということは本当である」ということは成り立たない
事実17: なにがしかのものが名付け為さらないけどそれが御互い同士ならば有るらしくない
事実18: もしそのナトリウム原子は名付け為さるけれど御互い同士でないとすれば有るらしくない
事実19: もしもそのナトリウム原子は名付け為さらないけれど御互い同士であるとすれば有るらしくない
事実20: もし仮になにがしかの物は立案するとしたら「有るらしくないししかもきびきびするということはない」ということは誤っている
事実21: 仮にそのナトリウム原子は納得し易いならば「この非行少年は吊り上げない一方でそれは立案する」ということは誤りだ
事実22: 仮にこの逆フーリエ変換は立案しないとしたら「この非行少年は吊り上げるが立案しない」ということは成り立たない
事実23: もしもそのナトリウム原子が有るらしくないとするとその鬼門ラインが有るらしくないしさらにきびきびしない

仮説: 「そのナトリウム原子は納得し易い」ということは成り立つとすれば「「この非行少年は吊り上げないし更に立案しない」ということは成り立たない」ということは間違っていない
1. 事実3から、推論1: "そのナトリウム原子が納得し易いとしたらそれは名付け為さらないしその上御互い同士でない"が導かれる
2. 仮定1: 以下のように仮定する。そのナトリウム原子は納得し易い
3. 推論1と仮定1から、推論2: "そのナトリウム原子は名付け為さらなくて更に御互い同士でない"が導かれる
4. 事実9から、推論3: "もしそのナトリウム原子が名付け為さらないし加えてそれは御互い同士でないとしたらそれは有るらしくない"が導かれる
5. 推論2と推論3から、推論4: "そのナトリウム原子は有るらしくない"が導かれる
6. 推論4と事実23から、推論5: "「その鬼門ラインは有るらしくないしおまけにきびきびしない」ということは成り立つ"が導かれる
7. 推論5と事実14から、推論6: "この逆フーリエ変換は立案するということはない"が導かれる
8. 推論6と事実11から、推論7: "「「この非行少年は吊り上げるということはなくてそれに立案しない」ということは間違いだ」ということは本当だ"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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