「もにゃものLv.2事件ではなくネイティブらしいということが生じる」ということは誤っている
fact1: 取れ易いということが発生する fact2: もし復号することは生じないならば「もにゃものLv.2事件は起きなくてネイティブらしいということが起きる」ということは誤りだ fact3: 「みのみわLv.98事件が生じるし加えて復号することが生じる」ということはもえもちゅLv.71事件は発生しないということにもたらされる fact4: ぷのぷにLv.96事件が起きる fact5: ネイティブらしいということが起こる fact6: 「まよまやLv.21事件は発生しない」ということは「もにゃものLv.2事件およびネイティブらしいということが起こる」ということを発生させる fact7: 復号することは「偉いということは発生しない」ということを防ぐ fact8: 偉いということおよびぷのぷにLv.96事件が発生すればもにゃものLv.2事件は起きない fact9: もえもちゅLv.71事件が生じる fact10: 復号することおよびもえもちゅLv.71事件どちらもが起きる
fact10 -> int1: 復号することが起きる; int1 & fact7 -> int2: 偉いということが起こる; int2 & fact4 -> int3: 偉いということとぷのぷにLv.96事件両方ともが発生する; int3 & fact8 -> int4: もにゃものLv.2事件は起きない; int4 & fact5 -> hypothesis;
fact10 -> int1: {A}; int1 & fact7 -> int2: {C}; int2 & fact4 -> int3: ({C} & {D}); int3 & fact8 -> int4: ¬{E}; int4 & fact5 -> hypothesis;
みのみわLv.98事件が生じる
$facts$ = fact1: 取れ易いということが発生する fact2: もし復号することは生じないならば「もにゃものLv.2事件は起きなくてネイティブらしいということが起きる」ということは誤りだ fact3: 「みのみわLv.98事件が生じるし加えて復号することが生じる」ということはもえもちゅLv.71事件は発生しないということにもたらされる fact4: ぷのぷにLv.96事件が起きる fact5: ネイティブらしいということが起こる fact6: 「まよまやLv.21事件は発生しない」ということは「もにゃものLv.2事件およびネイティブらしいということが起こる」ということを発生させる fact7: 復号することは「偉いということは発生しない」ということを防ぐ fact8: 偉いということおよびぷのぷにLv.96事件が発生すればもにゃものLv.2事件は起きない fact9: もえもちゅLv.71事件が生じる fact10: 復号することおよびもえもちゅLv.71事件どちらもが起きる ; $hypothesis$ = 「もにゃものLv.2事件ではなくネイティブらしいということが生じる」ということは誤っている ; $proof$ = 
fact10 -> int1: 復号することが起きる; int1 & fact7 -> int2: 偉いということが起こる; int2 & fact4 -> int3: 偉いということとぷのぷにLv.96事件両方ともが発生する; int3 & fact8 -> int4: もにゃものLv.2事件は起きない; int4 & fact5 -> hypothesis; __DISPROVED__
fact10 -> int1: {A}; int1 & fact7 -> int2: {C}; int2 & fact4 -> int3: ({C} & {D}); int3 & fact8 -> int4: ¬{E}; int4 & fact5 -> hypothesis; __DISPROVED__