浅しということは生じない
fact1: ぷにゃぷにゅLv.91事件が起こる fact2: 「まにょまちょLv.63事件は起きなくて尊しということが起こる」ということは「決め難いということは生じない」ということがきっかけである fact3: 浅しということは「危うしということとまにょまちょLv.63事件が発生する」ということに防がれる fact4: まにょまちょLv.63事件が起きる fact5: 「ぽなぽわLv.61事件は発生しない」ということは「聞き取り難いということが起きるしおまけに忠実忠実しいということが生じる」ということに誘発される fact6: 危うしということはぷにゃぷにゅLv.91事件にもたらされる
fact6 & fact1 -> int1: 危うしということが生じる; int1 & fact4 -> int2: 危うしということおよびまにょまちょLv.63事件両方が発生する; int2 & fact3 -> hypothesis;
fact6 & fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
浅しということが起きる
$facts$ = fact1: ぷにゃぷにゅLv.91事件が起こる fact2: 「まにょまちょLv.63事件は起きなくて尊しということが起こる」ということは「決め難いということは生じない」ということがきっかけである fact3: 浅しということは「危うしということとまにょまちょLv.63事件が発生する」ということに防がれる fact4: まにょまちょLv.63事件が起きる fact5: 「ぽなぽわLv.61事件は発生しない」ということは「聞き取り難いということが起きるしおまけに忠実忠実しいということが生じる」ということに誘発される fact6: 危うしということはぷにゃぷにゅLv.91事件にもたらされる ; $hypothesis$ = 浅しということは生じない ; $proof$ = 
fact6 & fact1 -> int1: 危うしということが生じる; int1 & fact4 -> int2: 危うしということおよびまにょまちょLv.63事件両方が発生する; int2 & fact3 -> hypothesis; __PROVED__
fact6 & fact1 -> int1: {B}; int1 & fact4 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __PROVED__