そのみえみにゅLv.46は保存し直すし加えて選択され易い
fact1: もし仮にあのぴのぴよLv.70が選択し易いならそのみえみにゅLv.46は保存し直す fact2: 「なにがしかのモンスターは生活し易くない」ということは成り立つなら「保存し直すし加えてそれは選択され易い」ということは誤っている fact3: もしもそのみえみにゅLv.46があどけなくないならば捕らわれ易いししかも繋がり易い fact4: もしとあるモンスターが捕らわれ易いとしたらそれは生活し易くないしまた選択し易くない fact5: あのぴのぴよLv.70は生活し易くて更にそれは選択し易い fact6: そのみえみにゅLv.46は選択され易い fact7: もし仮にそのみえみにゅLv.46が行われ易いということはないとすると滑り易いし更にあどけなくない
fact5 -> int1: あのぴのぴよLv.70は選択し易い; int1 & fact1 -> int2: そのみえみにゅLv.46は保存し直す; int2 & fact6 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact6 -> hypothesis;
「そのみえみにゅLv.46は保存し直すし加えて選択され易い」ということは偽である
fact9 -> int3: 仮にそのみえみにゅLv.46は生活し易くないならば「そのみえみにゅLv.46は保存し直すし加えて選択され易い」ということは誤っている; fact10 -> int4: もしそのみえみにゅLv.46が捕らわれ易いならば生活し易くなくておまけにそれは選択し易くない;
$facts$ = fact1: もし仮にあのぴのぴよLv.70が選択し易いならそのみえみにゅLv.46は保存し直す fact2: 「なにがしかのモンスターは生活し易くない」ということは成り立つなら「保存し直すし加えてそれは選択され易い」ということは誤っている fact3: もしもそのみえみにゅLv.46があどけなくないならば捕らわれ易いししかも繋がり易い fact4: もしとあるモンスターが捕らわれ易いとしたらそれは生活し易くないしまた選択し易くない fact5: あのぴのぴよLv.70は生活し易くて更にそれは選択し易い fact6: そのみえみにゅLv.46は選択され易い fact7: もし仮にそのみえみにゅLv.46が行われ易いということはないとすると滑り易いし更にあどけなくない ; $hypothesis$ = そのみえみにゅLv.46は保存し直すし加えて選択され易い ; $proof$ = 
fact5 -> int1: あのぴのぴよLv.70は選択し易い; int1 & fact1 -> int2: そのみえみにゅLv.46は保存し直す; int2 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact6 -> hypothesis; __PROVED__