みやみちょLv.5事件は起こらない
fact1: ぴにぴのLv.74事件は「奏すことは生じない」ということを回避する fact2: 「ぴにぴのLv.74事件は起こらない」ということは手酷いということに防がれる fact3: 燥ぐことおよび手酷いということが起きる fact4: ぽねぽなLv.44事件がみやみちょLv.5事件は発生しないということを防ぐ fact5: 奏すことが起こるということは「ぽねぽなLv.44事件は起こらない」ということを阻む
fact3 -> int1: 手酷いということが起こる; int1 & fact2 -> int2: 「ぴにぴのLv.74事件が起こる」ということは間違いでない; int2 & fact1 -> int3: 奏すことが発生する; int3 & fact5 -> int4: 「ぽねぽなLv.44事件が生じる」ということは確かである; int4 & fact4 -> hypothesis;
fact3 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact1 -> int3: {D}; int3 & fact5 -> int4: {E}; int4 & fact4 -> hypothesis;
$facts$ = fact1: ぴにぴのLv.74事件は「奏すことは生じない」ということを回避する fact2: 「ぴにぴのLv.74事件は起こらない」ということは手酷いということに防がれる fact3: 燥ぐことおよび手酷いということが起きる fact4: ぽねぽなLv.44事件がみやみちょLv.5事件は発生しないということを防ぐ fact5: 奏すことが起こるということは「ぽねぽなLv.44事件は起こらない」ということを阻む ; $hypothesis$ = みやみちょLv.5事件は起こらない ; $proof$ = 
fact3 -> int1: 手酷いということが起こる; int1 & fact2 -> int2: 「ぴにぴのLv.74事件が起こる」ということは間違いでない; int2 & fact1 -> int3: 奏すことが発生する; int3 & fact5 -> int4: 「ぽねぽなLv.44事件が生じる」ということは確かである; int4 & fact4 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact1 -> int3: {D}; int3 & fact5 -> int4: {E}; int4 & fact4 -> hypothesis; __DISPROVED__