このぷちゅぷえLv.56は湿気易い
fact1: このぴにぴにゅLv.78は心優しい fact2: そのみちょみにLv.68は漏れ無い fact3: このぴにぴにゅLv.78が女々しくて更に心優しいならばこのぷちゅぷえLv.56は湿気易くない fact4: もしもそのみちょみにLv.68が漏れ無いならこのぴにぴにゅLv.78は物凄ーい fact5: もしこのぴにぴにゅLv.78が刺々しいとすればそれは女々しい
fact4 & fact2 -> int1: このぴにぴにゅLv.78は物凄ーい;
fact4 & fact2 -> int1: {B}{b};
$facts$ = fact1: このぴにぴにゅLv.78は心優しい fact2: そのみちょみにLv.68は漏れ無い fact3: このぴにぴにゅLv.78が女々しくて更に心優しいならばこのぷちゅぷえLv.56は湿気易くない fact4: もしもそのみちょみにLv.68が漏れ無いならこのぴにぴにゅLv.78は物凄ーい fact5: もしこのぴにぴにゅLv.78が刺々しいとすればそれは女々しい ; $hypothesis$ = このぷちゅぷえLv.56は湿気易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__