脅かすことが発生する
fact1: ぽちゃぽにゃLv.25事件と親らしいということ両方ともが発生するとしたら脅かすことは生じない fact2: ぴなぴよLv.93事件はぽちゃぽにゃLv.25事件を発生させる fact3: 晴々することが起こる fact4: ぽにゅぽわLv.10事件が生じるし晴々することが起きる fact5: ぴなぴよLv.93事件はぽにゅぽわLv.10事件にもたらされる fact6: 親らしいということが生じる fact7: ぽにゅぽわLv.10事件と脅かすことが生じるは「晴々することは起こらない」ということがきっかけだ
fact4 -> int1: ぽにゅぽわLv.10事件が発生する; int1 & fact5 -> int2: 「ぴなぴよLv.93事件が起きる」ということは確かだ; int2 & fact2 -> int3: ぽちゃぽにゃLv.25事件が生じる; int3 & fact6 -> int4: ぽちゃぽにゃLv.25事件が起こるしそれに親らしいということが発生する; int4 & fact1 -> hypothesis;
fact4 -> int1: {A}; int1 & fact5 -> int2: {C}; int2 & fact2 -> int3: {D}; int3 & fact6 -> int4: ({D} & {E}); int4 & fact1 -> hypothesis;
脅かすことが発生する
$facts$ = fact1: ぽちゃぽにゃLv.25事件と親らしいということ両方ともが発生するとしたら脅かすことは生じない fact2: ぴなぴよLv.93事件はぽちゃぽにゃLv.25事件を発生させる fact3: 晴々することが起こる fact4: ぽにゅぽわLv.10事件が生じるし晴々することが起きる fact5: ぴなぴよLv.93事件はぽにゅぽわLv.10事件にもたらされる fact6: 親らしいということが生じる fact7: ぽにゅぽわLv.10事件と脅かすことが生じるは「晴々することは起こらない」ということがきっかけだ ; $hypothesis$ = 脅かすことが発生する ; $proof$ = 
fact4 -> int1: ぽにゅぽわLv.10事件が発生する; int1 & fact5 -> int2: 「ぴなぴよLv.93事件が起きる」ということは確かだ; int2 & fact2 -> int3: ぽちゃぽにゃLv.25事件が生じる; int3 & fact6 -> int4: ぽちゃぽにゃLv.25事件が起こるしそれに親らしいということが発生する; int4 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}; int1 & fact5 -> int2: {C}; int2 & fact2 -> int3: {D}; int3 & fact6 -> int4: ({D} & {E}); int4 & fact1 -> hypothesis; __DISPROVED__