「このぷにょぷやLv.68は際どくなくてさらにそれは逃すということはない」ということは成り立つということはない
fact1: なんらかのモンスターは望ましくないとすれば「それは際どくないしまた逃さない」ということは偽である fact2: もしもあのもやもちゅLv.20が望ましくて選択し易いとするとこのぷにょぷやLv.68は捜索すらない fact3: あのもやもちゅLv.20は望ましい fact4: あのもやもちゅLv.20は選択し易い
fact3 & fact4 -> int1: あのもやもちゅLv.20は望ましいし更に選択し易い; int1 & fact2 -> int2: 「このぷにょぷやLv.68は捜索すらない」ということは確かである;
fact3 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b};
「このぷにょぷやLv.68は際どくなくてさらにそれは逃すということはない」ということは成り立つということはない
fact5 -> int3: もしもこのぷにょぷやLv.68は望ましくないとすると「際どくないし逃さない」ということは真実でない;
$facts$ = fact1: なんらかのモンスターは望ましくないとすれば「それは際どくないしまた逃さない」ということは偽である fact2: もしもあのもやもちゅLv.20が望ましくて選択し易いとするとこのぷにょぷやLv.68は捜索すらない fact3: あのもやもちゅLv.20は望ましい fact4: あのもやもちゅLv.20は選択し易い ; $hypothesis$ = 「このぷにょぷやLv.68は際どくなくてさらにそれは逃すということはない」ということは成り立つということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__