「そのぽやぽちゅLv.88は半田付けしないがしかし再結合する」ということは成り立たない
fact1: 「あのまくまえLv.60はほろ苦くないが合併し易い」ということは本当でないとするとそのぽやぽちゅLv.88は買い受けない fact2: あのまくまえLv.60は買い受けない fact3: 言い辛くないかもしくはど偉くないかまたはどちらもであるモンスターはど偉くない fact4: もしもとあるモンスターはど偉いということはないなら「ほろ苦くなくてそれは合併し易い」ということは真実でない fact5: もし仮に何らかのモンスターが買い受けないとしたら半田付けしないけれど再結合する
void -> assump1: 以下のように仮定する。そのぽやぽちゅLv.88は半田付けしない一方でそれは再結合する; assump1 -> int1: そのぽやぽちゅLv.88は再結合する;
void -> assump1: (¬{A}{a} & {B}{a}); assump1 -> int1: {B}{a};
以下のように仮定する。そのぽやぽちゅLv.88は半田付けしない一方でそれは再結合する
fact8 -> int2: 仮にそのぽやぽちゅLv.88が買い受けないとすればそのぽやぽちゅLv.88は半田付けするということはないけど再結合する; fact6 -> int3: もし仮にあのまくまえLv.60はど偉くないなら「それはほろ苦くない一方で合併し易い」ということは間違っている; fact7 -> int4: もし仮にあのまくまえLv.60が言い辛くないかあるいはそれがど偉くないか両方ならばあのまくまえLv.60はど偉くない;
$facts$ = fact1: 「あのまくまえLv.60はほろ苦くないが合併し易い」ということは本当でないとするとそのぽやぽちゅLv.88は買い受けない fact2: あのまくまえLv.60は買い受けない fact3: 言い辛くないかもしくはど偉くないかまたはどちらもであるモンスターはど偉くない fact4: もしもとあるモンスターはど偉いということはないなら「ほろ苦くなくてそれは合併し易い」ということは真実でない fact5: もし仮に何らかのモンスターが買い受けないとしたら半田付けしないけれど再結合する ; $hypothesis$ = 「そのぽやぽちゅLv.88は半田付けしないがしかし再結合する」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__