そのぷちゅぷねLv.50は麗しいということはない
fact1: このまちゃまちょLv.65はきったない fact2: もし仮にこのぽわぽにょLv.55が吹き易いかまたは口述するならそのぷちゅぷねLv.50は麗しいということはない fact3: きったないモンスターは麗しい fact4: このまちゃまちょLv.65がきったないならばこのぽわぽにょLv.55は非難がましい fact5: もしもこのぽわぽにょLv.55が非難がましいとしたらそれは受け入れ易い
fact4 & fact1 -> int1: このぽわぽにょLv.55は非難がましい; int1 & fact5 -> int2: このぽわぽにょLv.55は受け入れ易い;
fact4 & fact1 -> int1: {B}{b}; int1 & fact5 -> int2: {C}{b};
そのぷちゅぷねLv.50は麗しい
fact6 -> int3: そのぷちゅぷねLv.50がきったないとすればそのぷちゅぷねLv.50は麗しい;
$facts$ = fact1: このまちゃまちょLv.65はきったない fact2: もし仮にこのぽわぽにょLv.55が吹き易いかまたは口述するならそのぷちゅぷねLv.50は麗しいということはない fact3: きったないモンスターは麗しい fact4: このまちゃまちょLv.65がきったないならばこのぽわぽにょLv.55は非難がましい fact5: もしもこのぽわぽにょLv.55が非難がましいとしたらそれは受け入れ易い ; $hypothesis$ = そのぷちゅぷねLv.50は麗しいということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__