「限り無しということおよび回りくどいということが起こる」ということは成り立たない
fact1: 「回りくどいということが起こる」ということは確かである fact2: もしもぽにゃぽゆLv.13事件は起こらないとすれば「限り無しということが発生するし回りくどいということが起きる」ということは嘘だ fact3: 「ぽにゃぽゆLv.13事件および限り無しということどちらもが起きる」ということは真実である fact4: ぽにゃぽゆLv.13事件が生じる
fact3 -> int1: 限り無しということが起こる; int1 & fact1 -> hypothesis;
fact3 -> int1: {B}; int1 & fact1 -> hypothesis;
「限り無しということおよび回りくどいということが起こる」ということは成り立たない
$facts$ = fact1: 「回りくどいということが起こる」ということは確かである fact2: もしもぽにゃぽゆLv.13事件は起こらないとすれば「限り無しということが発生するし回りくどいということが起きる」ということは嘘だ fact3: 「ぽにゃぽゆLv.13事件および限り無しということどちらもが起きる」ということは真実である fact4: ぽにゃぽゆLv.13事件が生じる ; $hypothesis$ = 「限り無しということおよび回りくどいということが起こる」ということは成り立たない ; $proof$ = 
fact3 -> int1: 限り無しということが起こる; int1 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact1 -> hypothesis; __DISPROVED__