ぷゆぷにゅLv.37事件が生じる
fact1: 人懐こいということおよび小煩いということどちらもが発生する fact2: 「有り難しということが発生する」ということは真実である fact3: 「「ぷゆぷにゅLv.37事件は起こらない」ということは人懐こいということおよび有り難しということが生じるがきっかけだ」ということは成り立つ
fact1 -> int1: 人懐こいということが起きる; int1 & fact2 -> int2: 「人懐こいということが発生するしかつ有り難しということが起こる」ということは真実である; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 人懐こいということおよび小煩いということどちらもが発生する fact2: 「有り難しということが発生する」ということは真実である fact3: 「「ぷゆぷにゅLv.37事件は起こらない」ということは人懐こいということおよび有り難しということが生じるがきっかけだ」ということは成り立つ ; $hypothesis$ = ぷゆぷにゅLv.37事件が生じる ; $proof$ = 
fact1 -> int1: 人懐こいということが起きる; int1 & fact2 -> int2: 「人懐こいということが発生するしかつ有り難しということが起こる」ということは真実である; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact2 -> int2: ({A} & {C}); int2 & fact3 -> hypothesis; __DISPROVED__