ぽよぽねLv.68事件は発生しない
fact1: 作り易いということが発生するし加えてぴちょぴにLv.22事件が起こる fact2: みなみちゃLv.91事件とぽにぽえLv.14事件両方が生じる fact3: 溜まり易いということが起きるしまちゃまえLv.23事件が生じるなら「遣り兼ねることは生じない」ということは本当だ fact4: 食べ易いということが発生する fact5: ぴちょぴにLv.22事件は発生しないとすれば作り易いということおよびぽよぽねLv.68事件両方が起きる fact6: ぴちゃぴゆLv.54事件が発生するとすれば長ったらしいということは生じなくてぴちょぴにLv.22事件は起きない fact7: もしぴちょぴにLv.22事件と長ったらしいということが起こればぽよぽねLv.68事件は起こらない
fact1 -> int1: ぴちょぴにLv.22事件が発生する;
fact1 -> int1: {B};
ぽよぽねLv.68事件が起こる
$facts$ = fact1: 作り易いということが発生するし加えてぴちょぴにLv.22事件が起こる fact2: みなみちゃLv.91事件とぽにぽえLv.14事件両方が生じる fact3: 溜まり易いということが起きるしまちゃまえLv.23事件が生じるなら「遣り兼ねることは生じない」ということは本当だ fact4: 食べ易いということが発生する fact5: ぴちょぴにLv.22事件は発生しないとすれば作り易いということおよびぽよぽねLv.68事件両方が起きる fact6: ぴちゃぴゆLv.54事件が発生するとすれば長ったらしいということは生じなくてぴちょぴにLv.22事件は起きない fact7: もしぴちょぴにLv.22事件と長ったらしいということが起こればぽよぽねLv.68事件は起こらない ; $hypothesis$ = ぽよぽねLv.68事件は発生しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__