「まよまにLv.61事件が生じる」ということは偽でない
fact1: 「みなみちゅLv.11事件と限り無いということが発生する」ということは成り立つ fact2: 「みなみちゅLv.11事件が発生する」ということは怖ーいということをもたらす fact3: 限り無いということが起きる fact4: 「「ぴにぴわLv.49事件は起こらない」ということは嘘だ」ということは確かだ fact5: 仮に怖ーいということとぴにぴわLv.49事件が起こればまよまにLv.61事件は起こらない fact6: 「限り無いということは発生しない」ということは「怖ーいということは起きない一方でぴにぴわLv.49事件が発生する」ということをもたらす
fact1 -> int1: みなみちゅLv.11事件が発生する; fact2 & int1 -> int2: 「怖ーいということは発生しない」ということは成り立つということはない; int2 & fact4 -> int3: 怖ーいということおよびぴにぴわLv.49事件が起きる; int3 & fact5 -> hypothesis;
fact1 -> int1: {A}; fact2 & int1 -> int2: {B}; int2 & fact4 -> int3: ({B} & {C}); int3 & fact5 -> hypothesis;
「まよまにLv.61事件が生じる」ということは偽でない
$facts$ = fact1: 「みなみちゅLv.11事件と限り無いということが発生する」ということは成り立つ fact2: 「みなみちゅLv.11事件が発生する」ということは怖ーいということをもたらす fact3: 限り無いということが起きる fact4: 「「ぴにぴわLv.49事件は起こらない」ということは嘘だ」ということは確かだ fact5: 仮に怖ーいということとぴにぴわLv.49事件が起こればまよまにLv.61事件は起こらない fact6: 「限り無いということは発生しない」ということは「怖ーいということは起きない一方でぴにぴわLv.49事件が発生する」ということをもたらす ; $hypothesis$ = 「まよまにLv.61事件が生じる」ということは偽でない ; $proof$ = 
fact1 -> int1: みなみちゅLv.11事件が発生する; fact2 & int1 -> int2: 「怖ーいということは発生しない」ということは成り立つということはない; int2 & fact4 -> int3: 怖ーいということおよびぴにぴわLv.49事件が起きる; int3 & fact5 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; fact2 & int1 -> int2: {B}; int2 & fact4 -> int3: ({B} & {C}); int3 & fact5 -> hypothesis; __DISPROVED__