溜まり易いということが生じるかもしくは恥ずかしということが起こるかもしくはどちらもである
fact1: 程近いということは発生するかあるいはぽよぽのLv.8事件は発生するかあるいは両方である fact2: ものもえLv.97事件は発生しなくて納得し易いということは生じないとしたら恥ずかしということが起きる fact3: 親しみ易いということかぷねぷいLv.74事件が起こる fact4: ものもえLv.97事件は生じないしまた納得し易いということは発生しない fact5: 「ものもえLv.97事件は起こらない一方で納得し易いということが起きる」ということは恥ずかしということを招く fact6: 恥ずかしということは「ものもえLv.97事件が起こるがしかし納得し易いということは発生しない」ということに誘発される
fact2 & fact4 -> int1: 恥ずかしということが発生する; int1 -> hypothesis;
fact2 & fact4 -> int1: {B}; int1 -> hypothesis;
$facts$ = fact1: 程近いということは発生するかあるいはぽよぽのLv.8事件は発生するかあるいは両方である fact2: ものもえLv.97事件は発生しなくて納得し易いということは生じないとしたら恥ずかしということが起きる fact3: 親しみ易いということかぷねぷいLv.74事件が起こる fact4: ものもえLv.97事件は生じないしまた納得し易いということは発生しない fact5: 「ものもえLv.97事件は起こらない一方で納得し易いということが起きる」ということは恥ずかしということを招く fact6: 恥ずかしということは「ものもえLv.97事件が起こるがしかし納得し易いということは発生しない」ということに誘発される ; $hypothesis$ = 溜まり易いということが生じるかもしくは恥ずかしということが起こるかもしくはどちらもである ; $proof$ = 
fact2 & fact4 -> int1: 恥ずかしということが発生する; int1 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {B}; int1 -> hypothesis; __PROVED__