このもちゅもにゃLv.93は受け辛くない
fact1: もしそのもわもねLv.41は苦しとすると「このもちゅもにゃLv.93は受け辛い」ということは間違っていない fact2: もし仮にあのぴのぴのLv.9が溜まり易いならばそのみえみいLv.30は味わい深い fact3: 「あのぴのぴのLv.9はソテーするけどそれは詮無くない」ということは誤りである fact4: もしも「あのぴのぴのLv.9はソテーするけれど詮無くない」ということは成り立たないならあのぴのぴのLv.9は溜まり易い fact5: そのみえみいLv.30が味わい深いならばそのもわもねLv.41は苦し
fact4 & fact3 -> int1: あのぴのぴのLv.9は溜まり易い; int1 & fact2 -> int2: そのみえみいLv.30は味わい深い; int2 & fact5 -> int3: そのもわもねLv.41は苦し; int3 & fact1 -> hypothesis;
fact4 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {A}{b}; int2 & fact5 -> int3: {C}{c}; int3 & fact1 -> hypothesis;
$facts$ = fact1: もしそのもわもねLv.41は苦しとすると「このもちゅもにゃLv.93は受け辛い」ということは間違っていない fact2: もし仮にあのぴのぴのLv.9が溜まり易いならばそのみえみいLv.30は味わい深い fact3: 「あのぴのぴのLv.9はソテーするけどそれは詮無くない」ということは誤りである fact4: もしも「あのぴのぴのLv.9はソテーするけれど詮無くない」ということは成り立たないならあのぴのぴのLv.9は溜まり易い fact5: そのみえみいLv.30が味わい深いならばそのもわもねLv.41は苦し ; $hypothesis$ = このもちゅもにゃLv.93は受け辛くない ; $proof$ = 
fact4 & fact3 -> int1: あのぴのぴのLv.9は溜まり易い; int1 & fact2 -> int2: そのみえみいLv.30は味わい深い; int2 & fact5 -> int3: そのもわもねLv.41は苦し; int3 & fact1 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {A}{b}; int2 & fact5 -> int3: {C}{c}; int3 & fact1 -> hypothesis; __DISPROVED__