あのものもよLv.77はし難い
fact1: このみにょみちゅLv.57は後戻り出来ない fact2: 仮になんらかのモンスターは後戻り出来ないならば「新しないし取っ付き難くない」ということは嘘だ fact3: もしも「このみにょみちゅLv.57は新しないし更に取っ付き難くない」ということは成り立たないとすればあのものもよLv.77はし難い
fact2 -> int1: このみにょみちゅLv.57は後戻り出来ないとすると「新しということはなくて取っ付き難いということはない」ということは成り立たない; int1 & fact1 -> int2: 「このみにょみちゅLv.57は新しないしその上取っ付き難いということはない」ということは誤りだ; int2 & fact3 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis;
$facts$ = fact1: このみにょみちゅLv.57は後戻り出来ない fact2: 仮になんらかのモンスターは後戻り出来ないならば「新しないし取っ付き難くない」ということは嘘だ fact3: もしも「このみにょみちゅLv.57は新しないし更に取っ付き難くない」ということは成り立たないとすればあのものもよLv.77はし難い ; $hypothesis$ = あのものもよLv.77はし難い ; $proof$ = 
fact2 -> int1: このみにょみちゅLv.57は後戻り出来ないとすると「新しということはなくて取っ付き難いということはない」ということは成り立たない; int1 & fact1 -> int2: 「このみにょみちゅLv.57は新しないしその上取っ付き難いということはない」ということは誤りだ; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> hypothesis; __PROVED__