そのもにゅもちょLv.62は手強い
fact1: あのみのみちゃLv.6は渋い fact2: もしそのもにゅもちょLv.62が渋いならそのもにゅもちょLv.62は手強い fact3: もし仮にこのみちゃみちゅLv.40が手強いとすれば渋い fact4: もし仮になにがしかのモンスターは説明しないとしたら「渋くないし見苦しくない」ということは誤りだ
そのもにゅもちょLv.62は手強くない
fact5 -> int1: もし仮にそのもにゅもちょLv.62は説明しないとすれば「そのもにゅもちょLv.62は渋くないしさらにそれは見苦しくない」ということは偽である;
$facts$ = fact1: あのみのみちゃLv.6は渋い fact2: もしそのもにゅもちょLv.62が渋いならそのもにゅもちょLv.62は手強い fact3: もし仮にこのみちゃみちゅLv.40が手強いとすれば渋い fact4: もし仮になにがしかのモンスターは説明しないとしたら「渋くないし見苦しくない」ということは誤りだ ; $hypothesis$ = そのもにゅもちょLv.62は手強い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__