「ぽわぽくLv.19事件が発生するしぷにゃぷゆLv.45事件が起きる」ということは誤りだ
fact1: もし仮にまよまちょLv.40事件は起きないなら気持ち良いということが起こるしおまけにぽわぽくLv.19事件が生じる fact2: ぽわぽくLv.19事件およびまよまちょLv.40事件どちらもが起きる fact3: ぷにゃぷゆLv.45事件が生じる fact4: まよまちょLv.40事件が発生する
fact2 -> int1: ぽわぽくLv.19事件が起こる; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> hypothesis;
気持ち良いということが起こる
$facts$ = fact1: もし仮にまよまちょLv.40事件は起きないなら気持ち良いということが起こるしおまけにぽわぽくLv.19事件が生じる fact2: ぽわぽくLv.19事件およびまよまちょLv.40事件どちらもが起きる fact3: ぷにゃぷゆLv.45事件が生じる fact4: まよまちょLv.40事件が発生する ; $hypothesis$ = 「ぽわぽくLv.19事件が発生するしぷにゃぷゆLv.45事件が起きる」ということは誤りだ ; $proof$ = 
fact2 -> int1: ぽわぽくLv.19事件が起こる; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact3 -> hypothesis; __DISPROVED__