「ぽよぽにょLv.18事件が生じるか理解致すことが生じるかもしくは両方である」ということは成り立たない
fact1: ぽにぽねLv.96事件が起こる fact2: 「ぽにぽねLv.96事件および両断することが起きる」ということは間違っているとしたらぽにぽねLv.96事件は起きない fact3: もしぽにぽねLv.96事件は発生しないなら「ぽよぽにょLv.18事件が起きるかまたは理解致すことが発生するか両方ともである」ということは成り立たない fact4: もやもよLv.58事件は起こらないとしたら「ぽにぽねLv.96事件が生じるしまた両断することが起こる」ということは成り立たない fact5: 理解致すことはぽにぽねLv.96事件により発生する fact6: 流し込むことは発生しないということは「もやもよLv.58事件ではなくぽちょぽわLv.45事件が生じる」ということを生じさせる fact7: 仮に泣き濡れることではなく恭しいということが発生するとすれば流し込むことは発生しない
fact5 & fact1 -> int1: 理解致すことが起こる; int1 -> hypothesis;
fact5 & fact1 -> int1: {B}; int1 -> hypothesis;
「ぽよぽにょLv.18事件が生じるか理解致すことが生じるかもしくは両方である」ということは成り立たない
$facts$ = fact1: ぽにぽねLv.96事件が起こる fact2: 「ぽにぽねLv.96事件および両断することが起きる」ということは間違っているとしたらぽにぽねLv.96事件は起きない fact3: もしぽにぽねLv.96事件は発生しないなら「ぽよぽにょLv.18事件が起きるかまたは理解致すことが発生するか両方ともである」ということは成り立たない fact4: もやもよLv.58事件は起こらないとしたら「ぽにぽねLv.96事件が生じるしまた両断することが起こる」ということは成り立たない fact5: 理解致すことはぽにぽねLv.96事件により発生する fact6: 流し込むことは発生しないということは「もやもよLv.58事件ではなくぽちょぽわLv.45事件が生じる」ということを生じさせる fact7: 仮に泣き濡れることではなく恭しいということが発生するとすれば流し込むことは発生しない ; $hypothesis$ = 「ぽよぽにょLv.18事件が生じるか理解致すことが生じるかもしくは両方である」ということは成り立たない ; $proof$ = 
fact5 & fact1 -> int1: 理解致すことが起こる; int1 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: {B}; int1 -> hypothesis; __DISPROVED__