「あのみえみやLv.46は待ち遠しい」ということは事実だ
fact1: もし仮にこのみゆみゆLv.29がすりゃ良いとすればあのみわみにゅLv.79は長ったらしくないしすりゃ良いということはない fact2: このみなみにゅLv.97は幅広いししかも長ったらしい fact3: あるモンスターが待ち遠しくないとするとそれは下ろし易くてまたすりゃ良い fact4: もしもこのみゆみゆLv.29はすりゃ良いとすると「あのみわみにゅLv.79は長ったらしくない」ということは本当である fact5: このみゆみゆLv.29はすりゃ良くてさらに下ろし易い fact6: もしもあのみわみにゅLv.79が長ったらしくないしさらにすりゃ良くないならばあのみえみやLv.46は待ち遠しいということはない
fact5 -> int1: このみゆみゆLv.29はすりゃ良い; int1 & fact1 -> int2: あのみわみにゅLv.79は長ったらしくないしそれはすりゃ良くない; int2 & fact6 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact1 -> int2: (¬{C}{b} & ¬{A}{b}); int2 & fact6 -> hypothesis;
このみなみにゅLv.97は幅広くて下ろし易い
fact8 -> int3: このみなみにゅLv.97は幅広い; fact7 -> int4: もし仮にこのみゆみゆLv.29が待ち遠しくないならこのみゆみゆLv.29は下ろし易くて更にすりゃ良い;
$facts$ = fact1: もし仮にこのみゆみゆLv.29がすりゃ良いとすればあのみわみにゅLv.79は長ったらしくないしすりゃ良いということはない fact2: このみなみにゅLv.97は幅広いししかも長ったらしい fact3: あるモンスターが待ち遠しくないとするとそれは下ろし易くてまたすりゃ良い fact4: もしもこのみゆみゆLv.29はすりゃ良いとすると「あのみわみにゅLv.79は長ったらしくない」ということは本当である fact5: このみゆみゆLv.29はすりゃ良くてさらに下ろし易い fact6: もしもあのみわみにゅLv.79が長ったらしくないしさらにすりゃ良くないならばあのみえみやLv.46は待ち遠しいということはない ; $hypothesis$ = 「あのみえみやLv.46は待ち遠しい」ということは事実だ ; $proof$ = 
fact5 -> int1: このみゆみゆLv.29はすりゃ良い; int1 & fact1 -> int2: あのみわみにゅLv.79は長ったらしくないしそれはすりゃ良くない; int2 & fact6 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{a}; int1 & fact1 -> int2: (¬{C}{b} & ¬{A}{b}); int2 & fact6 -> hypothesis; __DISPROVED__