「まにゃまよLv.1事件ではなく嫌味ったらしいということが起きる」ということは誤っている
fact1: 「ぴゆぴにゃLv.51事件と美々しいということどちらもが起きる」ということはぽよぽにLv.42事件を防ぐ fact2: ぽいぽちゅLv.1事件はぴゆぴにゃLv.51事件を引き起こす fact3: 「ものもにょLv.51事件ではなく勇ましいということが起きる」ということは間違いだ fact4: ぽいぽちゅLv.1事件が起きるし更にぷちゅぷえLv.42事件が起こる fact5: 仮にぽよぽにLv.42事件は発生しないとすると「「まにゃまよLv.1事件が起こらないけど嫌味ったらしいということは発生する」ということは成り立つ」ということは偽である fact6: 美々しいということが生じる
fact4 -> int1: ぽいぽちゅLv.1事件が起きる; int1 & fact2 -> int2: ぴゆぴにゃLv.51事件が発生する; int2 & fact6 -> int3: ぴゆぴにゃLv.51事件と美々しいということ両方が生じる; int3 & fact1 -> int4: ぽよぽにLv.42事件は起きない; int4 & fact5 -> hypothesis;
fact4 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact6 -> int3: ({C} & {D}); int3 & fact1 -> int4: ¬{E}; int4 & fact5 -> hypothesis;
$facts$ = fact1: 「ぴゆぴにゃLv.51事件と美々しいということどちらもが起きる」ということはぽよぽにLv.42事件を防ぐ fact2: ぽいぽちゅLv.1事件はぴゆぴにゃLv.51事件を引き起こす fact3: 「ものもにょLv.51事件ではなく勇ましいということが起きる」ということは間違いだ fact4: ぽいぽちゅLv.1事件が起きるし更にぷちゅぷえLv.42事件が起こる fact5: 仮にぽよぽにLv.42事件は発生しないとすると「「まにゃまよLv.1事件が起こらないけど嫌味ったらしいということは発生する」ということは成り立つ」ということは偽である fact6: 美々しいということが生じる ; $hypothesis$ = 「まにゃまよLv.1事件ではなく嫌味ったらしいということが起きる」ということは誤っている ; $proof$ = 
fact4 -> int1: ぽいぽちゅLv.1事件が起きる; int1 & fact2 -> int2: ぴゆぴにゃLv.51事件が発生する; int2 & fact6 -> int3: ぴゆぴにゃLv.51事件と美々しいということ両方が生じる; int3 & fact1 -> int4: ぽよぽにLv.42事件は起きない; int4 & fact5 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact6 -> int3: ({C} & {D}); int3 & fact1 -> int4: ¬{E}; int4 & fact5 -> hypothesis; __PROVED__