そのぽにゅぽえLv.29は認め難い
fact1: もしもそのぽにゅぽえLv.29が似付かわしいしその上それが狡っ辛いならばそのぽにゅぽえLv.29は認め難くない fact2: もしこのぽいぽちゃLv.71が認め難いならそのぽにゅぽえLv.29は認め難い fact3: もしもこのぽいぽちゃLv.71が作業し易いとすればそのぽにゅぽえLv.29は狡っ辛い fact4: このぽいぽちゃLv.71は作業し易い fact5: もしも何らかのモンスターが小難しいしその上作業し易いとすると地下深いということはない
fact3 & fact4 -> int1: そのぽにゅぽえLv.29は狡っ辛い;
fact3 & fact4 -> int1: {B}{b};
もしもそのぽにゅぽえLv.29が小難しくてかつそれが作業し易いとすればそれは地下深くない
fact6 -> hypothesis;
$facts$ = fact1: もしもそのぽにゅぽえLv.29が似付かわしいしその上それが狡っ辛いならばそのぽにゅぽえLv.29は認め難くない fact2: もしこのぽいぽちゃLv.71が認め難いならそのぽにゅぽえLv.29は認め難い fact3: もしもこのぽいぽちゃLv.71が作業し易いとすればそのぽにゅぽえLv.29は狡っ辛い fact4: このぽいぽちゃLv.71は作業し易い fact5: もしも何らかのモンスターが小難しいしその上作業し易いとすると地下深いということはない ; $hypothesis$ = そのぽにゅぽえLv.29は認め難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__