まにゅまちゅLv.83事件は起きない
fact1: 慈悲深いということが起こる fact2: 地中深いということが生じる fact3: まにゅまちゅLv.83事件は遣り辛いということに誘発される fact4: ぽわぽねLv.71事件が発生する fact5: 賢しということが生じる fact6: ぽわぽねLv.71事件は遣り辛いということは生じないということを防ぐ fact7: 「まちょまにLv.99事件が発生しなくてしかももいもやLv.67事件は起きない」ということはぽわぽにゃLv.95事件が契機である fact8: もしまちょまにLv.99事件は発生しないとしたら「遣り辛いということは発生するしぽわぽねLv.71事件は起こらない」ということは間違いだ
fact6 & fact4 -> int1: 遣り辛いということが起きる; int1 & fact3 -> hypothesis;
fact6 & fact4 -> int1: {B}; int1 & fact3 -> hypothesis;
まにゅまちゅLv.83事件は起きない
$facts$ = fact1: 慈悲深いということが起こる fact2: 地中深いということが生じる fact3: まにゅまちゅLv.83事件は遣り辛いということに誘発される fact4: ぽわぽねLv.71事件が発生する fact5: 賢しということが生じる fact6: ぽわぽねLv.71事件は遣り辛いということは生じないということを防ぐ fact7: 「まちょまにLv.99事件が発生しなくてしかももいもやLv.67事件は起きない」ということはぽわぽにゃLv.95事件が契機である fact8: もしまちょまにLv.99事件は発生しないとしたら「遣り辛いということは発生するしぽわぽねLv.71事件は起こらない」ということは間違いだ ; $hypothesis$ = まにゅまちゅLv.83事件は起きない ; $proof$ = 
fact6 & fact4 -> int1: 遣り辛いということが起きる; int1 & fact3 -> hypothesis; __DISPROVED__
fact6 & fact4 -> int1: {B}; int1 & fact3 -> hypothesis; __DISPROVED__