みちょみちゅLv.44事件は起きない
fact1: みわみにLv.30事件が起こらないということは気高いということとぽやぽにょLv.95事件は発生するがきっかけだ fact2: 「みちょみちゅLv.44事件は生じない」ということはみわみやLv.74事件に防がれる fact3: 灯ることかあるいは分解され難いということが生じる fact4: みわみやLv.74事件はみやみにゅLv.56事件に繋がる fact5: 「勘違いし易いということおよび人間らしいということが生じる」ということは許し難しということは起こらないということにもたらされる fact6: 「人間らしいということが生じるが勘違いし易いということは起きない」ということは「勘違いし易いということは発生しない」ということが契機である fact7: 再発し易いということおよびまくまちょLv.39事件が発生するは「許し難しということは生じない」ということを生じさせる fact8: みわみやLv.74事件が発生するかもしくはもにもわLv.16事件が起きるかあるいは両方だ fact9: みやみにゅLv.56事件がもにもわLv.16事件は原因だ fact10: 勘違いし易いということは生じないということはぽのぽやLv.77事件およびみやみにゅLv.56事件が起きるに起因する fact11: もし人間らしいということが発生するがしかし勘違いし易いということは生じないとしたらみちょみちゅLv.44事件は生じない fact12: ぽのぽやLv.77事件が起こる
fact8 & fact4 & fact9 -> int1: 「みやみにゅLv.56事件が生じる」ということは嘘でない; int1 & fact12 -> int2: ぽのぽやLv.77事件とみやみにゅLv.56事件が発生する; int2 & fact10 -> int3: 勘違いし易いということは発生しない; int3 & fact6 -> int4: 人間らしいということが発生するし勘違いし易いということは起きない; int4 & fact11 -> hypothesis;
fact8 & fact4 & fact9 -> int1: {C}; int1 & fact12 -> int2: ({D} & {C}); int2 & fact10 -> int3: ¬{E}; int3 & fact6 -> int4: ({F} & ¬{E}); int4 & fact11 -> hypothesis;
みちょみちゅLv.44事件が生じる
$facts$ = fact1: みわみにLv.30事件が起こらないということは気高いということとぽやぽにょLv.95事件は発生するがきっかけだ fact2: 「みちょみちゅLv.44事件は生じない」ということはみわみやLv.74事件に防がれる fact3: 灯ることかあるいは分解され難いということが生じる fact4: みわみやLv.74事件はみやみにゅLv.56事件に繋がる fact5: 「勘違いし易いということおよび人間らしいということが生じる」ということは許し難しということは起こらないということにもたらされる fact6: 「人間らしいということが生じるが勘違いし易いということは起きない」ということは「勘違いし易いということは発生しない」ということが契機である fact7: 再発し易いということおよびまくまちょLv.39事件が発生するは「許し難しということは生じない」ということを生じさせる fact8: みわみやLv.74事件が発生するかもしくはもにもわLv.16事件が起きるかあるいは両方だ fact9: みやみにゅLv.56事件がもにもわLv.16事件は原因だ fact10: 勘違いし易いということは生じないということはぽのぽやLv.77事件およびみやみにゅLv.56事件が起きるに起因する fact11: もし人間らしいということが発生するがしかし勘違いし易いということは生じないとしたらみちょみちゅLv.44事件は生じない fact12: ぽのぽやLv.77事件が起こる ; $hypothesis$ = みちょみちゅLv.44事件は起きない ; $proof$ = 
fact8 & fact4 & fact9 -> int1: 「みやみにゅLv.56事件が生じる」ということは嘘でない; int1 & fact12 -> int2: ぽのぽやLv.77事件とみやみにゅLv.56事件が発生する; int2 & fact10 -> int3: 勘違いし易いということは発生しない; int3 & fact6 -> int4: 人間らしいということが発生するし勘違いし易いということは起きない; int4 & fact11 -> hypothesis; __PROVED__
fact8 & fact4 & fact9 -> int1: {C}; int1 & fact12 -> int2: ({D} & {C}); int2 & fact10 -> int3: ¬{E}; int3 & fact6 -> int4: ({F} & ¬{E}); int4 & fact11 -> hypothesis; __PROVED__