厚しということが発生する
fact1: みねみゆLv.18事件は発生しないということは「ぴねぴちゅLv.88事件が起こるしそれにぷにゃぷわLv.69事件が起こる」ということを誘発する fact2: 滞在出来ることは「厚しということが生じる」ということを生じさせる fact3: もし仮にぷにゃぷわLv.69事件が発生すれば厚しということは起きないし滞在出来ることが起きる fact4: 滞在出来ることが起こる fact5: 厚しということは生じないということはぷにゃぷわLv.69事件に引き起こされる
fact4 -> int1: 滞在出来ることが起こる; int1 & fact2 -> hypothesis;
fact4 -> int1: {A}; int1 & fact2 -> hypothesis;
ぽのぽいLv.96事件が生じる
$facts$ = fact1: みねみゆLv.18事件は発生しないということは「ぴねぴちゅLv.88事件が起こるしそれにぷにゃぷわLv.69事件が起こる」ということを誘発する fact2: 滞在出来ることは「厚しということが生じる」ということを生じさせる fact3: もし仮にぷにゃぷわLv.69事件が発生すれば厚しということは起きないし滞在出来ることが起きる fact4: 滞在出来ることが起こる fact5: 厚しということは生じないということはぷにゃぷわLv.69事件に引き起こされる ; $hypothesis$ = 厚しということが発生する ; $proof$ = 
fact4 -> int1: 滞在出来ることが起こる; int1 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__