ぴにょぴよLv.5事件が起こる
fact1: 狙い易いということが起こる fact2: 愛しということは「流れ易いということは発生しない」ということを阻止する fact3: ぷよぷのLv.32事件がぴにょぴよLv.5事件は生じないということを阻止する fact4: 捗々しいということが起きる fact5: ぽえぽのLv.12事件および焦れったいということ両方が起きる fact6: 焦れったいということは起きないということはもにもくLv.20事件とぽえぽのLv.12事件が生じるの原因となる fact7: 焦れったいということは「ぷよぷのLv.32事件は発生しない」ということを阻む
fact5 -> int1: 焦れったいということが発生する; int1 & fact7 -> int2: ぷよぷのLv.32事件が起こる; int2 & fact3 -> hypothesis;
fact5 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact3 -> hypothesis;
もにもくLv.20事件が生じる
$facts$ = fact1: 狙い易いということが起こる fact2: 愛しということは「流れ易いということは発生しない」ということを阻止する fact3: ぷよぷのLv.32事件がぴにょぴよLv.5事件は生じないということを阻止する fact4: 捗々しいということが起きる fact5: ぽえぽのLv.12事件および焦れったいということ両方が起きる fact6: 焦れったいということは起きないということはもにもくLv.20事件とぽえぽのLv.12事件が生じるの原因となる fact7: 焦れったいということは「ぷよぷのLv.32事件は発生しない」ということを阻む ; $hypothesis$ = ぴにょぴよLv.5事件が起こる ; $proof$ = 
fact5 -> int1: 焦れったいということが発生する; int1 & fact7 -> int2: ぷよぷのLv.32事件が起こる; int2 & fact3 -> hypothesis; __PROVED__
fact5 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact3 -> hypothesis; __PROVED__