あのマジックミラー越しは掛け過ぎない
fact1: この株券保管振り替えはダイブしないけれど形骸化する fact2: もし「「「混同し易くないが遅い」ということは確かだ」ということは事実と異なる」物はあるとすれば「この対陣は遅いということはない」ということは本当である fact3: もしあのマジックミラー越しが遅いけれどそれが事情聴取しないとすればそれは掛け過ぎるということはない fact4: もしも「「混同し易いししかも狡っ辛くない」ということは成り立たない」ものがあるとすればあのマジックミラー越しは遅い fact5: 仮にあのマジックミラー越しは事情聴取するとしたら「この株券保管振り替えはダイブしないけど形骸化する」ということは成り立たない fact6: 「この対陣は混同し易いが狡っ辛くない」ということは間違いだ fact7: もし何らかのものが事情聴取するとしたら冗談っぽいということはないししかも御月だ fact8: 「あのマジックミラー越しは混同し易くないがしかし遅い」ということは成り立たない
void -> assump1: 以下のように仮定する。あのマジックミラー越しは事情聴取する; fact5 & assump1 -> int1: 「「この株券保管振り替えはダイブしないがしかしそれは形骸化する」ということは正しい」ということは成り立つということはない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのマジックミラー越しは事情聴取しない; fact6 -> int4: 「「混同し易くて狡っ辛くない」ということは事実と異なる」物はある; int4 & fact4 -> int5: あのマジックミラー越しは遅い; int3 & int5 -> int6: あのマジックミラー越しは遅いが事情聴取しない; int6 & fact3 -> hypothesis;
この対陣は冗談っぽくないけど御月だ
fact11 -> int7: もしこの対陣が事情聴取すればそれは冗談っぽくないけれど御月だ; fact9 -> int8: 「「混同し易くないしおまけに遅い」ということは成り立たない」ものはある; int8 & fact10 -> int9: この対陣は遅くない;
$facts$ = fact1: この株券保管振り替えはダイブしないけれど形骸化する fact2: もし「「「混同し易くないが遅い」ということは確かだ」ということは事実と異なる」物はあるとすれば「この対陣は遅いということはない」ということは本当である fact3: もしあのマジックミラー越しが遅いけれどそれが事情聴取しないとすればそれは掛け過ぎるということはない fact4: もしも「「混同し易いししかも狡っ辛くない」ということは成り立たない」ものがあるとすればあのマジックミラー越しは遅い fact5: 仮にあのマジックミラー越しは事情聴取するとしたら「この株券保管振り替えはダイブしないけど形骸化する」ということは成り立たない fact6: 「この対陣は混同し易いが狡っ辛くない」ということは間違いだ fact7: もし何らかのものが事情聴取するとしたら冗談っぽいということはないししかも御月だ fact8: 「あのマジックミラー越しは混同し易くないがしかし遅い」ということは成り立たない ; $hypothesis$ = あのマジックミラー越しは掛け過ぎない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのマジックミラー越しは事情聴取する; fact5 & assump1 -> int1: 「「この株券保管振り替えはダイブしないがしかしそれは形骸化する」ということは正しい」ということは成り立つということはない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのマジックミラー越しは事情聴取しない; fact6 -> int4: 「「混同し易くて狡っ辛くない」ということは事実と異なる」物はある; int4 & fact4 -> int5: あのマジックミラー越しは遅い; int3 & int5 -> int6: あのマジックミラー越しは遅いが事情聴取しない; int6 & fact3 -> hypothesis; __PROVED__
事実1: この株券保管振り替えはダイブしないけれど形骸化する
事実2: もし「「「混同し易くないが遅い」ということは確かだ」ということは事実と異なる」物はあるとすれば「この対陣は遅いということはない」ということは本当である
事実3: もしあのマジックミラー越しが遅いけれどそれが事情聴取しないとすればそれは掛け過ぎるということはない
事実4: もしも「「混同し易いししかも狡っ辛くない」ということは成り立たない」ものがあるとすればあのマジックミラー越しは遅い
事実5: 仮にあのマジックミラー越しは事情聴取するとしたら「この株券保管振り替えはダイブしないけど形骸化する」ということは成り立たない
事実6: 「この対陣は混同し易いが狡っ辛くない」ということは間違いだ
事実7: もし何らかのものが事情聴取するとしたら冗談っぽいということはないししかも御月だ
事実8: 「あのマジックミラー越しは混同し易くないがしかし遅い」ということは成り立たない

仮説: あのマジックミラー越しは掛け過ぎない
1. 仮定1: 以下のように仮定する。あのマジックミラー越しは事情聴取する
2. 事実5と仮定1から、推論1: "「「この株券保管振り替えはダイブしないがしかしそれは形骸化する」ということは正しい」ということは成り立つということはない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あのマジックミラー越しは事情聴取しない"が導かれる
5. 事実6から、推論4: "「「混同し易くて狡っ辛くない」ということは事実と異なる」物はある"が導かれる
6. 推論4と事実4から、推論5: "あのマジックミラー越しは遅い"が導かれる
7. 推論3と推論5から、推論6: "あのマジックミラー越しは遅いが事情聴取しない"が導かれる
8. 推論6と事実3から、仮説が導かれる

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