ぽいぽやLv.34事件と日本らしいということが発生する
fact1: ぴちゃぴちょLv.65事件が発生する fact2: 「ぷちゃぷちゃLv.5事件が起こる」ということは真実だとしたらぴちゃぴちょLv.65事件が起こらないしおまけにぽにぽくLv.1事件は発生しない fact3: 日本らしいということが起きる fact4: 「乾き易いということは起こらない」ということは「ぷちゃぷちゃLv.5事件は発生するし言い得ることは発生する」ということを招く fact5: 仮にぴちゃぴちょLv.65事件は起こらないなら「ぽいぽやLv.34事件が起きるし日本らしいということが起こる」ということは誤りである fact6: ぽいぽやLv.34事件が起こるしぴちゃぴちょLv.65事件が発生する
fact6 -> int1: ぽいぽやLv.34事件が起きる; int1 & fact3 -> hypothesis;
fact6 -> int1: {A}; int1 & fact3 -> hypothesis;
「ぽいぽやLv.34事件が起きるしまた日本らしいということが発生する」ということは誤っている
$facts$ = fact1: ぴちゃぴちょLv.65事件が発生する fact2: 「ぷちゃぷちゃLv.5事件が起こる」ということは真実だとしたらぴちゃぴちょLv.65事件が起こらないしおまけにぽにぽくLv.1事件は発生しない fact3: 日本らしいということが起きる fact4: 「乾き易いということは起こらない」ということは「ぷちゃぷちゃLv.5事件は発生するし言い得ることは発生する」ということを招く fact5: 仮にぴちゃぴちょLv.65事件は起こらないなら「ぽいぽやLv.34事件が起きるし日本らしいということが起こる」ということは誤りである fact6: ぽいぽやLv.34事件が起こるしぴちゃぴちょLv.65事件が発生する ; $hypothesis$ = ぽいぽやLv.34事件と日本らしいということが発生する ; $proof$ = 
fact6 -> int1: ぽいぽやLv.34事件が起きる; int1 & fact3 -> hypothesis; __PROVED__
fact6 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__