「もくもにLv.62事件が起こるしさらにぴいぴちょLv.92事件が起きる」ということは嘘だ
fact1: まやまちゅLv.84事件および出会い易いということどちらもが起こる fact2: ぴいぴちょLv.92事件が起きる fact3: 仮にまやまちゅLv.84事件は起こらないなら「もくもにLv.62事件およびぴいぴちょLv.92事件が生じる」ということは事実でない fact4: もくもにLv.62事件は発生しないということはまやまちゅLv.84事件に阻止される fact5: 仮に「信じ難いということおよび出会い易いということ両方が生じる」ということは成り立たないとするとまやまちゅLv.84事件は起こらない
fact1 -> int1: まやまちゅLv.84事件が生じる; int1 & fact4 -> int2: もくもにLv.62事件が生じる; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact2 -> hypothesis;
「もくもにLv.62事件が起こるしさらにぴいぴちょLv.92事件が起きる」ということは嘘だ
$facts$ = fact1: まやまちゅLv.84事件および出会い易いということどちらもが起こる fact2: ぴいぴちょLv.92事件が起きる fact3: 仮にまやまちゅLv.84事件は起こらないなら「もくもにLv.62事件およびぴいぴちょLv.92事件が生じる」ということは事実でない fact4: もくもにLv.62事件は発生しないということはまやまちゅLv.84事件に阻止される fact5: 仮に「信じ難いということおよび出会い易いということ両方が生じる」ということは成り立たないとするとまやまちゅLv.84事件は起こらない ; $hypothesis$ = 「もくもにLv.62事件が起こるしさらにぴいぴちょLv.92事件が起きる」ということは嘘だ ; $proof$ = 
fact1 -> int1: まやまちゅLv.84事件が生じる; int1 & fact4 -> int2: もくもにLv.62事件が生じる; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact4 -> int2: {C}; int2 & fact2 -> hypothesis; __DISPROVED__