もにゃもえLv.38事件が起きる
fact1: 齎し易いということと誤り無いということどちらもが起こる fact2: 「もにゃもえLv.38事件は起こらない」ということはまわまえLv.45事件かあるいは特約することが起こるということがきっかけである fact3: 「女性らしいということが起こる」ということは事実と異なる fact4: 特約することは発生しないということは誤り無いということに阻止される
fact1 -> int1: 誤り無いということが起こる; int1 & fact4 -> int2: 特約することが起こる; int2 -> int3: まわまえLv.45事件が発生するかあるいは特約することは発生するかまたはどちらもである; int3 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 -> int3: ({D} v {C}); int3 & fact2 -> hypothesis;
$facts$ = fact1: 齎し易いということと誤り無いということどちらもが起こる fact2: 「もにゃもえLv.38事件は起こらない」ということはまわまえLv.45事件かあるいは特約することが起こるということがきっかけである fact3: 「女性らしいということが起こる」ということは事実と異なる fact4: 特約することは発生しないということは誤り無いということに阻止される ; $hypothesis$ = もにゃもえLv.38事件が起きる ; $proof$ = 
fact1 -> int1: 誤り無いということが起こる; int1 & fact4 -> int2: 特約することが起こる; int2 -> int3: まわまえLv.45事件が発生するかあるいは特約することは発生するかまたはどちらもである; int3 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 & fact4 -> int2: {C}; int2 -> int3: ({D} v {C}); int3 & fact2 -> hypothesis; __DISPROVED__