あのもにょもにゅLv.63は話し辛くない
fact1: もしこのぽにょぽわLv.95が程良いならばこのもいもやLv.91は程良い fact2: もしも「あのもにょもにゅLv.63は程良い」ということは本当であるとしたらあのもにょもにゅLv.63は話し辛い fact3: このみくみなLv.99は苦い fact4: もしもこのぽにょぽわLv.95が苦いとしたらあのもにょもにゅLv.63は程良い fact5: このぽにょぽわLv.95は苦い
fact4 & fact5 -> int1: あのもにょもにゅLv.63は程良い; int1 & fact2 -> hypothesis;
fact4 & fact5 -> int1: {B}{b}; int1 & fact2 -> hypothesis;
このもいもやLv.91は程良い
$facts$ = fact1: もしこのぽにょぽわLv.95が程良いならばこのもいもやLv.91は程良い fact2: もしも「あのもにょもにゅLv.63は程良い」ということは本当であるとしたらあのもにょもにゅLv.63は話し辛い fact3: このみくみなLv.99は苦い fact4: もしもこのぽにょぽわLv.95が苦いとしたらあのもにょもにゅLv.63は程良い fact5: このぽにょぽわLv.95は苦い ; $hypothesis$ = あのもにょもにゅLv.63は話し辛くない ; $proof$ = 
fact4 & fact5 -> int1: あのもにょもにゅLv.63は程良い; int1 & fact2 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: {B}{b}; int1 & fact2 -> hypothesis; __DISPROVED__