あのぽちゃぽなLv.15は味わい深くない
fact1: あのまちょまにゃLv.19がぶっといならばそのまちゅまくLv.21は炸裂しない一方でぶっとい fact2: 仮に味わい深くないモンスターはすばしこくないとすればそれは似付かわしいということはない fact3: 仮にあのぽちゃぽなLv.15が心苦しいということはないしかわゆくないならあのぽちゃぽなLv.15は味わい深くない fact4: そのまちゅまくLv.21は味わい深くない fact5: 「あのまちょまにゃLv.19は静まり返るしそれはぶっとい」ということは確かだ
fact5 -> int1: あのまちょまにゃLv.19はぶっとい; int1 & fact1 -> int2: そのまちゅまくLv.21は炸裂しないけどぶっとい; int2 -> int3: そのまちゅまくLv.21はぶっとい;
fact5 -> int1: {B}{a}; int1 & fact1 -> int2: (¬{D}{b} & {B}{b}); int2 -> int3: {B}{b};
このみのみゆLv.17が味わい深いということはなくてそれがすばしこくないならこのみのみゆLv.17は似付かわしかない
fact6 -> hypothesis;
$facts$ = fact1: あのまちょまにゃLv.19がぶっといならばそのまちゅまくLv.21は炸裂しない一方でぶっとい fact2: 仮に味わい深くないモンスターはすばしこくないとすればそれは似付かわしいということはない fact3: 仮にあのぽちゃぽなLv.15が心苦しいということはないしかわゆくないならあのぽちゃぽなLv.15は味わい深くない fact4: そのまちゅまくLv.21は味わい深くない fact5: 「あのまちょまにゃLv.19は静まり返るしそれはぶっとい」ということは確かだ ; $hypothesis$ = あのぽちゃぽなLv.15は味わい深くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__