そのものもいLv.81は詮無いということはない
fact1: あのぽちゃぽにゃLv.92が詮無くて更に使用し易いとするとそのものもいLv.81は詮無くない fact2: あのぽちゃぽにゃLv.92は使用し易い fact3: 「あのぽちゃぽにゃLv.92は使用し易い」ということは成り立つならそのものもいLv.81は詮無い fact4: そのものもいLv.81は使用し易い fact5: 仮になんらかのモンスターは御宜しくないなら「詮無いしそれは使用し易い」ということは成り立たない fact6: もしもあのぽちゃぽにゃLv.92が詮無いけど御宜しくないならそのもちゃもにLv.24は詮無い fact7: あのみわみにゅLv.96は詮無い
fact2 -> int1: あのぽちゃぽにゃLv.92は使用し易い; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
そのものもいLv.81は詮無いということはない
fact8 -> int2: 「もし仮にあのぽちゃぽにゃLv.92は御宜しくないとすれば「あのぽちゃぽにゃLv.92は詮無くてかつ使用し易い」ということは確かでない」ということは嘘でない;
$facts$ = fact1: あのぽちゃぽにゃLv.92が詮無くて更に使用し易いとするとそのものもいLv.81は詮無くない fact2: あのぽちゃぽにゃLv.92は使用し易い fact3: 「あのぽちゃぽにゃLv.92は使用し易い」ということは成り立つならそのものもいLv.81は詮無い fact4: そのものもいLv.81は使用し易い fact5: 仮になんらかのモンスターは御宜しくないなら「詮無いしそれは使用し易い」ということは成り立たない fact6: もしもあのぽちゃぽにゃLv.92が詮無いけど御宜しくないならそのもちゃもにLv.24は詮無い fact7: あのみわみにゅLv.96は詮無い ; $hypothesis$ = そのものもいLv.81は詮無いということはない ; $proof$ = 
fact2 -> int1: あのぽちゃぽにゃLv.92は使用し易い; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __DISPROVED__