ぷのぷくLv.47事件は発生しない
fact1: 「ぽにゃぽゆLv.66事件は起きない」ということは「ぷわぷちゅLv.68事件とアクセスし易いということが起きる」ということを生じさせる fact2: 鈍いということはぷのぷくLv.47事件は起きないということを誘発する fact3: ぷわぷちゅLv.68事件とぷのぷくLv.47事件が起きるは「ぽにゃぽゆLv.66事件は起こらない」ということがきっかけである fact4: 仮に鈍いということが生じるかあるいはぷわぷちゅLv.68事件が生じるとすればぷのぷくLv.47事件は生じない fact5: ぽにゃぽゆLv.66事件が起きる fact6: ぷわぷちゅLv.68事件が生じるし更にぽにゃぽゆLv.66事件が発生する fact7: 迷い易いということおよび鈍いということが起こるは「しつこいということは起きない」ということにより発生する
fact6 -> int1: ぷわぷちゅLv.68事件が起こる; int1 -> int2: 鈍いということが生じるかもしくはぷわぷちゅLv.68事件が発生する; int2 & fact4 -> hypothesis;
fact6 -> int1: {A}; int1 -> int2: ({C} v {A}); int2 & fact4 -> hypothesis;
迷い易いということが発生するし更にアクセスし易いということは発生する
$facts$ = fact1: 「ぽにゃぽゆLv.66事件は起きない」ということは「ぷわぷちゅLv.68事件とアクセスし易いということが起きる」ということを生じさせる fact2: 鈍いということはぷのぷくLv.47事件は起きないということを誘発する fact3: ぷわぷちゅLv.68事件とぷのぷくLv.47事件が起きるは「ぽにゃぽゆLv.66事件は起こらない」ということがきっかけである fact4: 仮に鈍いということが生じるかあるいはぷわぷちゅLv.68事件が生じるとすればぷのぷくLv.47事件は生じない fact5: ぽにゃぽゆLv.66事件が起きる fact6: ぷわぷちゅLv.68事件が生じるし更にぽにゃぽゆLv.66事件が発生する fact7: 迷い易いということおよび鈍いということが起こるは「しつこいということは起きない」ということにより発生する ; $hypothesis$ = ぷのぷくLv.47事件は発生しない ; $proof$ = 
fact6 -> int1: ぷわぷちゅLv.68事件が起こる; int1 -> int2: 鈍いということが生じるかもしくはぷわぷちゅLv.68事件が発生する; int2 & fact4 -> hypothesis; __PROVED__
fact6 -> int1: {A}; int1 -> int2: ({C} v {A}); int2 & fact4 -> hypothesis; __PROVED__