「あのものもえLv.78は罹患し易くないしまたそれはしつこくない」ということは間違いである
fact1: 出入りし易くないモンスターは罹患し易くなくてしつこくない fact2: もしもとあるモンスターは罹患し易くないとしたら「胸苦しくないしそれは連想し易くない」ということは誤りだ fact3: もしもあのものもえLv.78は罹患し易いということはないとすると「そのまやまくLv.83は出入りし易くないしさらに胸苦しくない」ということは成り立つということはない fact4: あのものもえLv.78は古臭くないしそれに詳しくない fact5: 「あのものもえLv.78は胸苦しくないししつこくない」ということは確かでない fact6: 「なんらかのモンスターは益無しないしまた胸苦しくない」ということは嘘であるならば出入りし易くない
void -> assump1: 以下のように仮定する。あのものもえLv.78は罹患し易くないし加えてしつこくない; assump1 -> int1: あのものもえLv.78は罹患し易いということはない; int1 & fact3 -> int2: 「そのまやまくLv.83は出入りし易くないし胸苦しくない」ということは成り立たない;
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{A}{a}; int1 & fact3 -> int2: ¬(¬{C}{b} & ¬{D}{b});
「そのぷなぷにゃLv.34は胸苦しくないしそれは連想し易くない」ということは成り立たない
fact7 -> int3: もし仮にそのぷなぷにゃLv.34は罹患し易くないとすれば「「胸苦しくないしそれに連想し易くない」ということは確かである」ということは成り立たない;
$facts$ = fact1: 出入りし易くないモンスターは罹患し易くなくてしつこくない fact2: もしもとあるモンスターは罹患し易くないとしたら「胸苦しくないしそれは連想し易くない」ということは誤りだ fact3: もしもあのものもえLv.78は罹患し易いということはないとすると「そのまやまくLv.83は出入りし易くないしさらに胸苦しくない」ということは成り立つということはない fact4: あのものもえLv.78は古臭くないしそれに詳しくない fact5: 「あのものもえLv.78は胸苦しくないししつこくない」ということは確かでない fact6: 「なんらかのモンスターは益無しないしまた胸苦しくない」ということは嘘であるならば出入りし易くない ; $hypothesis$ = 「あのものもえLv.78は罹患し易くないしまたそれはしつこくない」ということは間違いである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__