そのぴねぴくLv.95は首尾良い
fact1: 「あのぷいぷわLv.94は達成し易い」ということは成り立てばあのもちょもくLv.61は頼り無い fact2: 仮にあのもちょもくLv.61が頼り無いならばそのまにょまにゃLv.87はがめつい fact3: あのみにみちゃLv.15が輝かしいとすればそのぽちゅぽねLv.2は共鳴し易い fact4: あのみにみちゃLv.15は輝かしい fact5: 共鳴し易いということはないモンスターは首尾良くないし輝かしくない fact6: 仮にそのまにょまにゃLv.87はがめついとすれば「そのぴねぴくLv.95は首尾良い」ということは真実だ
fact3 & fact4 -> int1: そのぽちゅぽねLv.2は共鳴し易い;
fact3 & fact4 -> int1: {B}{b};
そのぴねぴくLv.95は首尾良いということはない
fact7 -> int2: そのぴねぴくLv.95は共鳴し易くないとすれば首尾良いということはなくて加えて輝かしくない;
$facts$ = fact1: 「あのぷいぷわLv.94は達成し易い」ということは成り立てばあのもちょもくLv.61は頼り無い fact2: 仮にあのもちょもくLv.61が頼り無いならばそのまにょまにゃLv.87はがめつい fact3: あのみにみちゃLv.15が輝かしいとすればそのぽちゅぽねLv.2は共鳴し易い fact4: あのみにみちゃLv.15は輝かしい fact5: 共鳴し易いということはないモンスターは首尾良くないし輝かしくない fact6: 仮にそのまにょまにゃLv.87はがめついとすれば「そのぴねぴくLv.95は首尾良い」ということは真実だ ; $hypothesis$ = そのぴねぴくLv.95は首尾良い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__