そのぴちょぴにLv.31は変化し易くない
fact1: もしもそのぽにょぽにゃLv.91が比例案分するとするとそのぴちょぴにLv.31は絶交する fact2: そのぽにょぽにゃLv.91は疾ししそれは消化吸収され易い fact3: あらゆるモンスターはリストラしない fact4: そのぽにょぽにゃLv.91は絶交する fact5: 仮にそのぽにょぽにゃLv.91が絶交すればそのぴちょぴにLv.31は絶交する fact6: そのぽにょぽにゃLv.91は比例案分する fact7: あのぽねぽゆLv.24は変化し易い
fact6 & fact4 -> int1: 「そのぽにょぽにゃLv.91は比例案分するし更に絶交する」ということは事実である;
fact6 & fact4 -> int1: ({A}{a} & {B}{a});
そのぴちょぴにLv.31は絶交する
fact9 -> int2: あのまちょまちゅLv.56はリストラしない;
$facts$ = fact1: もしもそのぽにょぽにゃLv.91が比例案分するとするとそのぴちょぴにLv.31は絶交する fact2: そのぽにょぽにゃLv.91は疾ししそれは消化吸収され易い fact3: あらゆるモンスターはリストラしない fact4: そのぽにょぽにゃLv.91は絶交する fact5: 仮にそのぽにょぽにゃLv.91が絶交すればそのぴちょぴにLv.31は絶交する fact6: そのぽにょぽにゃLv.91は比例案分する fact7: あのぽねぽゆLv.24は変化し易い ; $hypothesis$ = そのぴちょぴにLv.31は変化し易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__