ぴちゅぴわLv.2事件は生じない
fact1: 仮に滑り易いということが発生すれば「みにゃみねLv.62事件は発生するけどみなみなLv.70事件は発生しない」ということは本当であるということはない fact2: ぴちゅぴわLv.2事件は発生しないということはみにゃみねLv.62事件かもしくはごっついということかまたはどちらもに誘発される fact3: 「力強いということが起きるし加えて滑り易いということが起きる」ということは愚かしいということは生じないということに起因する fact4: ごっついということとみやみわLv.25事件が起こる fact5: もしもみやみわLv.25事件が起こらないならばごっついということとぴちゅぴわLv.2事件は発生する
fact4 -> int1: ごっついということが発生する; int1 -> int2: みにゃみねLv.62事件かまたはごっついということかまたは両方ともが生じる; int2 & fact2 -> hypothesis;
fact4 -> int1: {A}; int1 -> int2: ({C} v {A}); int2 & fact2 -> hypothesis;
ぴちゅぴわLv.2事件が起きる
$facts$ = fact1: 仮に滑り易いということが発生すれば「みにゃみねLv.62事件は発生するけどみなみなLv.70事件は発生しない」ということは本当であるということはない fact2: ぴちゅぴわLv.2事件は発生しないということはみにゃみねLv.62事件かもしくはごっついということかまたはどちらもに誘発される fact3: 「力強いということが起きるし加えて滑り易いということが起きる」ということは愚かしいということは生じないということに起因する fact4: ごっついということとみやみわLv.25事件が起こる fact5: もしもみやみわLv.25事件が起こらないならばごっついということとぴちゅぴわLv.2事件は発生する ; $hypothesis$ = ぴちゅぴわLv.2事件は生じない ; $proof$ = 
fact4 -> int1: ごっついということが発生する; int1 -> int2: みにゃみねLv.62事件かまたはごっついということかまたは両方ともが生じる; int2 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 -> int2: ({C} v {A}); int2 & fact2 -> hypothesis; __PROVED__