ぴちゅぴちゃLv.39事件が起こる
fact1: ぴちゅぴちゃLv.39事件は発生しないということは抜き難いということかもしくは清いということかあるいはどちらもに起因する fact2: みよみゆLv.7事件が生じる fact3: 御宜しいということかもしくはもゆもなLv.66事件が起こる fact4: 「清いということは生じないし更にみよみゆLv.7事件は生じない」ということはまにゃまちょLv.1事件がきっかけだ fact5: ぴちゅぴちゃLv.39事件および抜き難いということが起きるはみよみゆLv.7事件は起こらないということに起因する fact6: ぽにぽにLv.55事件が生じるしぽにぽえLv.45事件が発生する fact7: 抜き難いということが起こるし更にみよみゆLv.7事件が起きる
fact7 -> int1: 抜き難いということが生じる; int1 -> int2: 抜き難いということが生じるかもしくは清いということが起こるか両方である; int2 & fact1 -> hypothesis;
fact7 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> hypothesis;
ぴちゅぴちゃLv.39事件が起こる
$facts$ = fact1: ぴちゅぴちゃLv.39事件は発生しないということは抜き難いということかもしくは清いということかあるいはどちらもに起因する fact2: みよみゆLv.7事件が生じる fact3: 御宜しいということかもしくはもゆもなLv.66事件が起こる fact4: 「清いということは生じないし更にみよみゆLv.7事件は生じない」ということはまにゃまちょLv.1事件がきっかけだ fact5: ぴちゅぴちゃLv.39事件および抜き難いということが起きるはみよみゆLv.7事件は起こらないということに起因する fact6: ぽにぽにLv.55事件が生じるしぽにぽえLv.45事件が発生する fact7: 抜き難いということが起こるし更にみよみゆLv.7事件が起きる ; $hypothesis$ = ぴちゅぴちゃLv.39事件が起こる ; $proof$ = 
fact7 -> int1: 抜き難いということが生じる; int1 -> int2: 抜き難いということが生じるかもしくは清いということが起こるか両方である; int2 & fact1 -> hypothesis; __DISPROVED__
fact7 -> int1: {A}; int1 -> int2: ({A} v {C}); int2 & fact1 -> hypothesis; __DISPROVED__