ぽのぽにLv.15事件が発生する
fact1: まちゃまちょLv.32事件かみちょみにょLv.31事件が生じるということか両方はぽのぽにLv.15事件を阻む fact2: もよもちょLv.18事件は起こらない fact3: 「ぽのぽにLv.15事件が起きるがみちょみにょLv.31事件は起きない」ということは見え易いということが原因だ fact4: まにょまにょLv.66事件かもしくは思い知らすことが起こる fact5: まちゃまちょLv.32事件が発生する
fact5 -> int1: まちゃまちょLv.32事件かもしくはみちょみにょLv.31事件かまたは両方が起きる; int1 & fact1 -> hypothesis;
fact5 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis;
相応しいということか悩ましいということかまたはどちらもが発生する
$facts$ = fact1: まちゃまちょLv.32事件かみちょみにょLv.31事件が生じるということか両方はぽのぽにLv.15事件を阻む fact2: もよもちょLv.18事件は起こらない fact3: 「ぽのぽにLv.15事件が起きるがみちょみにょLv.31事件は起きない」ということは見え易いということが原因だ fact4: まにょまにょLv.66事件かもしくは思い知らすことが起こる fact5: まちゃまちょLv.32事件が発生する ; $hypothesis$ = ぽのぽにLv.15事件が発生する ; $proof$ = 
fact5 -> int1: まちゃまちょLv.32事件かもしくはみちょみにょLv.31事件かまたは両方が起きる; int1 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: ({A} v {B}); int1 & fact1 -> hypothesis; __DISPROVED__