侵入することではなくて腹黒いということが生じる
fact1: みねみくLv.40事件は発生しない fact2: 「「侵入することおよび腹黒いということが発生する」ということは正しい」ということは誤りだ fact3: みわみにょLv.89事件が起きないかあるいはみねみくLv.40事件は発生するかもしくは両方である fact4: みわみにょLv.89事件は発生するかまたはみねみくLv.40事件は発生しないかまたは両方ともだ fact5: もし生じ易いということは生じないとすると「侵入することではなくて腹黒いということが生じる」ということは誤っている
fact1 -> int1: みわみにょLv.89事件が起こらないかあるいはみねみくLv.40事件は起きない;
fact1 -> int1: (¬{A} v ¬{B});
$facts$ = fact1: みねみくLv.40事件は発生しない fact2: 「「侵入することおよび腹黒いということが発生する」ということは正しい」ということは誤りだ fact3: みわみにょLv.89事件が起きないかあるいはみねみくLv.40事件は発生するかもしくは両方である fact4: みわみにょLv.89事件は発生するかまたはみねみくLv.40事件は発生しないかまたは両方ともだ fact5: もし生じ易いということは生じないとすると「侵入することではなくて腹黒いということが生じる」ということは誤っている ; $hypothesis$ = 侵入することではなくて腹黒いということが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__