止む無いということが生じる
fact1: もし限り無いということおよび見付け易いということ両方が生じるなら「ぽよぽわLv.62事件は起きない」ということは確かだ fact2: みちゃみねLv.8事件と手っ取り早いということが生じる fact3: 「みちゃみねLv.8事件とぽゆぽゆLv.19事件どちらもが起きる」ということは止む無いということを防ぐ fact4: 手っ取り早いということが起きる fact5: ぽゆぽゆLv.19事件が起こる
fact2 -> int1: みちゃみねLv.8事件が生じる; int1 & fact5 -> int2: みちゃみねLv.8事件とぽゆぽゆLv.19事件両方が起こる; int2 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: もし限り無いということおよび見付け易いということ両方が生じるなら「ぽよぽわLv.62事件は起きない」ということは確かだ fact2: みちゃみねLv.8事件と手っ取り早いということが生じる fact3: 「みちゃみねLv.8事件とぽゆぽゆLv.19事件どちらもが起きる」ということは止む無いということを防ぐ fact4: 手っ取り早いということが起きる fact5: ぽゆぽゆLv.19事件が起こる ; $hypothesis$ = 止む無いということが生じる ; $proof$ = 
fact2 -> int1: みちゃみねLv.8事件が生じる; int1 & fact5 -> int2: みちゃみねLv.8事件とぽゆぽゆLv.19事件両方が起こる; int2 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis; __DISPROVED__