このぴのぴにLv.21はしても良くない
fact1: もし仮にこのぴのぴにLv.21が弱いとするとこのぴのぴにLv.21はしても良い fact2: 「あのみちゃみわLv.94は入り辛くない」ということは成り立たない fact3: しても良いしかつ想像し難くないモンスターは避け難くない fact4: あのもなもやLv.13が避け難くないとするとあのもなもやLv.13は入り辛くて更に弱い fact5: もし仮にあのまのまわLv.52が避け難いとしたらこのぴのぴにLv.21は弱い fact6: もし仮にあのみちゃみわLv.94が入り辛いならあのまのまわLv.52は避け難い
fact6 & fact2 -> int1: 「あのまのまわLv.52は避け難い」ということは本当である; int1 & fact5 -> int2: このぴのぴにLv.21は弱い; int2 & fact1 -> hypothesis;
fact6 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact1 -> hypothesis;
あのもなもやLv.13は弱い
fact8 -> int3: もしもあのもなもやLv.13はしても良いけれど想像し難いということはないならそれは避け難くない;
$facts$ = fact1: もし仮にこのぴのぴにLv.21が弱いとするとこのぴのぴにLv.21はしても良い fact2: 「あのみちゃみわLv.94は入り辛くない」ということは成り立たない fact3: しても良いしかつ想像し難くないモンスターは避け難くない fact4: あのもなもやLv.13が避け難くないとするとあのもなもやLv.13は入り辛くて更に弱い fact5: もし仮にあのまのまわLv.52が避け難いとしたらこのぴのぴにLv.21は弱い fact6: もし仮にあのみちゃみわLv.94が入り辛いならあのまのまわLv.52は避け難い ; $hypothesis$ = このぴのぴにLv.21はしても良くない ; $proof$ = 
fact6 & fact2 -> int1: 「あのまのまわLv.52は避け難い」ということは本当である; int1 & fact5 -> int2: このぴのぴにLv.21は弱い; int2 & fact1 -> hypothesis; __DISPROVED__
fact6 & fact2 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{c}; int2 & fact1 -> hypothesis; __DISPROVED__