「もよもえLv.18事件が生じる」ということは確かだ
fact1: 「もよもえLv.18事件は起きない」ということは「得られ難いということは生じない」ということが契機だ fact2: 得られ難いということは「仕舞い易いということが生じるかみにゅみにゅLv.13事件が起きる」ということに防がれる fact3: 仕舞い易いということが起きる
fact3 -> int1: 仕舞い易いということが起きるかあるいはみにゅみにゅLv.13事件が起きる; int1 & fact2 -> int2: 得られ難いということは発生しない; int2 & fact1 -> hypothesis;
fact3 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 「もよもえLv.18事件は起きない」ということは「得られ難いということは生じない」ということが契機だ fact2: 得られ難いということは「仕舞い易いということが生じるかみにゅみにゅLv.13事件が起きる」ということに防がれる fact3: 仕舞い易いということが起きる ; $hypothesis$ = 「もよもえLv.18事件が生じる」ということは確かだ ; $proof$ = 
fact3 -> int1: 仕舞い易いということが起きるかあるいはみにゅみにゅLv.13事件が起きる; int1 & fact2 -> int2: 得られ難いということは発生しない; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: ({A} v {B}); int1 & fact2 -> int2: ¬{C}; int2 & fact1 -> hypothesis; __DISPROVED__