このぴわぴなLv.88は飽きっぽくない
fact1: とあるモンスターが例外無くないとすれば姦しくないが慌て出す fact2: もし仮にこのぴわぴなLv.88は慌て出さないとしたら「あのぽにぽにLv.94は掛け難くないか飽きっぽくないかまたは両方ともである」ということは偽である fact3: このぴわぴなLv.88は餓鬼っぽくて更に掛け難い fact4: そのぴちゃぴちゅLv.56はすばしっこいかもしくは如此しか両方である fact5: そのぷにゅぷねLv.91は掛け難いということはない fact6: このぴわぴなLv.88は餓鬼っぽい
fact3 -> int1: このぴわぴなLv.88は掛け難い;
fact3 -> int1: {B}{a};
あのぽにぽにLv.94は餓鬼っぽくない
fact8 -> int2: そのぴちゃぴちゅLv.56が例外無いということはないならそのぴちゃぴちゅLv.56は姦しくないがしかし慌て出す;
$facts$ = fact1: とあるモンスターが例外無くないとすれば姦しくないが慌て出す fact2: もし仮にこのぴわぴなLv.88は慌て出さないとしたら「あのぽにぽにLv.94は掛け難くないか飽きっぽくないかまたは両方ともである」ということは偽である fact3: このぴわぴなLv.88は餓鬼っぽくて更に掛け難い fact4: そのぴちゃぴちゅLv.56はすばしっこいかもしくは如此しか両方である fact5: そのぷにゅぷねLv.91は掛け難いということはない fact6: このぴわぴなLv.88は餓鬼っぽい ; $hypothesis$ = このぴわぴなLv.88は飽きっぽくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__