ぷにぷいLv.8事件は起こらない
fact1: もにもわLv.58事件およびぴわぴよLv.71事件どちらもが起こる fact2: もにもわLv.58事件が起こる fact3: もにもわLv.58事件は発生しないということは「流れ易いということが生じるしぽゆぽちょLv.94事件が起きる」ということを発生させる fact4: 「流れ易いということが起こる」ということは確かである fact5: ぴわぴよLv.71事件は入営することを誘発する fact6: 「流れ易いということと入営することが発生する」ということは「ぷにぷいLv.8事件は起こらない」ということを発生させる
fact1 -> int1: ぴわぴよLv.71事件が起こる; fact5 & int1 -> int2: 入営することが起こる; int2 & fact4 -> int3: 流れ易いということが生じるし入営することが起こる; int3 & fact6 -> hypothesis;
fact1 -> int1: {A}; fact5 & int1 -> int2: {B}; int2 & fact4 -> int3: ({C} & {B}); int3 & fact6 -> hypothesis;
みにみにょLv.22事件およびぽゆぽちょLv.94事件どちらもが生じる
$facts$ = fact1: もにもわLv.58事件およびぴわぴよLv.71事件どちらもが起こる fact2: もにもわLv.58事件が起こる fact3: もにもわLv.58事件は発生しないということは「流れ易いということが生じるしぽゆぽちょLv.94事件が起きる」ということを発生させる fact4: 「流れ易いということが起こる」ということは確かである fact5: ぴわぴよLv.71事件は入営することを誘発する fact6: 「流れ易いということと入営することが発生する」ということは「ぷにぷいLv.8事件は起こらない」ということを発生させる ; $hypothesis$ = ぷにぷいLv.8事件は起こらない ; $proof$ = 
fact1 -> int1: ぴわぴよLv.71事件が起こる; fact5 & int1 -> int2: 入営することが起こる; int2 & fact4 -> int3: 流れ易いということが生じるし入営することが起こる; int3 & fact6 -> hypothesis; __PROVED__
fact1 -> int1: {A}; fact5 & int1 -> int2: {B}; int2 & fact4 -> int3: ({C} & {B}); int3 & fact6 -> hypothesis; __PROVED__