結び付き難いということかもしくは思慮深いということかまたは両方ともが発生する
fact1: 人懐っこいということが発生するしその上ぴねぴよLv.35事件は発生する fact2: 認め難いということは起こらないということはぴねぴよLv.35事件が生じるということに防がれる fact3: もしも滅びることが発生するとしたら結び付き難いということは生じないしかつ思慮深いということは起こらない fact4: 結び付き難いということは「ぴなぴよLv.3事件が起こる」ということにより生じる fact5: もしぴねぴよLv.35事件は発生しないなら見え難いということおよび人懐っこいということどちらもが起こる fact6: 「人懐っこいということが起こる」ということは成り立つ fact7: 滅びることは「まちゃまわLv.94事件が起こる」ということに由来する fact8: 認め難いということが起こるということはぴなぴよLv.3事件に繋がる
fact1 -> int1: ぴねぴよLv.35事件が起きる; int1 & fact2 -> int2: 認め難いということが発生する; int2 & fact8 -> int3: ぴなぴよLv.3事件が生じる; int3 & fact4 -> int4: 結び付き難いということが発生する; int4 -> hypothesis;
fact1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact8 -> int3: {D}; int3 & fact4 -> int4: {E}; int4 -> hypothesis;
見え難いということが起きる
$facts$ = fact1: 人懐っこいということが発生するしその上ぴねぴよLv.35事件は発生する fact2: 認め難いということは起こらないということはぴねぴよLv.35事件が生じるということに防がれる fact3: もしも滅びることが発生するとしたら結び付き難いということは生じないしかつ思慮深いということは起こらない fact4: 結び付き難いということは「ぴなぴよLv.3事件が起こる」ということにより生じる fact5: もしぴねぴよLv.35事件は発生しないなら見え難いということおよび人懐っこいということどちらもが起こる fact6: 「人懐っこいということが起こる」ということは成り立つ fact7: 滅びることは「まちゃまわLv.94事件が起こる」ということに由来する fact8: 認め難いということが起こるということはぴなぴよLv.3事件に繋がる ; $hypothesis$ = 結び付き難いということかもしくは思慮深いということかまたは両方ともが発生する ; $proof$ = 
fact1 -> int1: ぴねぴよLv.35事件が起きる; int1 & fact2 -> int2: 認め難いということが発生する; int2 & fact8 -> int3: ぴなぴよLv.3事件が生じる; int3 & fact4 -> int4: 結び付き難いということが発生する; int4 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact8 -> int3: {D}; int3 & fact4 -> int4: {E}; int4 -> hypothesis; __PROVED__