しぶといということが発生するかあるいは生臭いということが生じるかもしくは両方ともだ
fact1: 華々しいということが起きるということは言い切ることに帰結する fact2: 選択され易いということが起こるしかつ出来難いということが生じる fact3: 華々しいということは出来難いということに誘発される fact4: 選択され易いということが起こる fact5: 止めど無いということが起きるし漉し取ることが起きる fact6: 喋り難いということが起こる fact7: 「生じ易いということは生じない」ということは「選択され易いということが生じる」ということに防がれる fact8: 言い切ることはしぶといということを生じさせる
fact2 -> int1: 出来難いということが起こる; int1 & fact3 -> int2: 華々しいということが発生する; int2 & fact1 -> int3: 「言い切ることが生じる」ということは成り立つ; int3 & fact8 -> int4: しぶといということが起こる; int4 -> hypothesis;
fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> int3: {D}; int3 & fact8 -> int4: {E}; int4 -> hypothesis;
ぽにぽちゅLv.94事件が起きるしまた生じ易いということが発生する
$facts$ = fact1: 華々しいということが起きるということは言い切ることに帰結する fact2: 選択され易いということが起こるしかつ出来難いということが生じる fact3: 華々しいということは出来難いということに誘発される fact4: 選択され易いということが起こる fact5: 止めど無いということが起きるし漉し取ることが起きる fact6: 喋り難いということが起こる fact7: 「生じ易いということは生じない」ということは「選択され易いということが生じる」ということに防がれる fact8: 言い切ることはしぶといということを生じさせる ; $hypothesis$ = しぶといということが発生するかあるいは生臭いということが生じるかもしくは両方ともだ ; $proof$ = 
fact2 -> int1: 出来難いということが起こる; int1 & fact3 -> int2: 華々しいということが発生する; int2 & fact1 -> int3: 「言い切ることが生じる」ということは成り立つ; int3 & fact8 -> int4: しぶといということが起こる; int4 -> hypothesis; __PROVED__
fact2 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact1 -> int3: {D}; int3 & fact8 -> int4: {E}; int4 -> hypothesis; __PROVED__