「そのまにょまにLv.76は総合するけれど発症し易くない」ということは間違っている
fact1: もしそのぴちゅぴやLv.48は浅くないとすれば「そのまにょまにLv.76は総合する一方でそれは発症し易くない」ということは嘘である fact2: 仮に来難くないモンスターが通り難くないとするとそれは総合しない fact3: そのまにょまにLv.76はしょぼい fact4: そのまにょまにLv.76は総合する fact5: 仮にあのもえもよLv.71が泥臭いとするとあのもえもよLv.71は使用し難い fact6: もしそのまにょまにLv.76が発症し易いならばそのまにょまにLv.76は浅い
void -> assump1: 以下のように仮定する。そのまにょまにLv.76は発症し易い; fact6 & assump1 -> int1: 「そのまにょまにLv.76は浅い」ということは成り立つ;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{a};
「そのまにょまにLv.76は総合するけれど発症し易くない」ということは間違っている
$facts$ = fact1: もしそのぴちゅぴやLv.48は浅くないとすれば「そのまにょまにLv.76は総合する一方でそれは発症し易くない」ということは嘘である fact2: 仮に来難くないモンスターが通り難くないとするとそれは総合しない fact3: そのまにょまにLv.76はしょぼい fact4: そのまにょまにLv.76は総合する fact5: 仮にあのもえもよLv.71が泥臭いとするとあのもえもよLv.71は使用し難い fact6: もしそのまにょまにLv.76が発症し易いならばそのまにょまにLv.76は浅い ; $hypothesis$ = 「そのまにょまにLv.76は総合するけれど発症し易くない」ということは間違っている ; $proof$ = 
__UNKNOWN__
__UNKNOWN__