「ぷちょぷちゅLv.70事件とぽにょぽよLv.24事件両方が起きる」ということは偽だ
fact1: ぽにょぽよLv.24事件が生じる fact2: ぷちょぷちゅLv.70事件が起こる fact3: もし仮に地下深いということは起こらないならば「「ぷちょぷちゅLv.70事件とぽにょぽよLv.24事件が生じる」ということは本当だ」ということは誤りである fact4: 粉っぽいということおよびまちゃまえLv.65事件が発生する
fact2 -> int1: ぷちょぷちゅLv.70事件が起こる; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
「ぷちょぷちゅLv.70事件とぽにょぽよLv.24事件両方が起きる」ということは偽だ
$facts$ = fact1: ぽにょぽよLv.24事件が生じる fact2: ぷちょぷちゅLv.70事件が起こる fact3: もし仮に地下深いということは起こらないならば「「ぷちょぷちゅLv.70事件とぽにょぽよLv.24事件が生じる」ということは本当だ」ということは誤りである fact4: 粉っぽいということおよびまちゃまえLv.65事件が発生する ; $hypothesis$ = 「ぷちょぷちゅLv.70事件とぽにょぽよLv.24事件両方が起きる」ということは偽だ ; $proof$ = 
fact2 -> int1: ぷちょぷちゅLv.70事件が起こる; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __DISPROVED__