「聞き辛いということは生じない」ということは成り立つ
fact1: 煮上げることが起きる fact2: 与し易いということかあるいは世代交代することかあるいはどちらもが生じる fact3: 仮に弁解がましいということは起こらないならば起こり難いということが生じるかまたは冷たいということが起きるかどちらもである fact4: 冷たいということは起きないということは「ぽにぽちゅLv.79事件が起こらなくてまた煮上げることは起きない」ということに引き起こされる fact5: 弁解がましいということは発生しない fact6: 聞き辛いということは「ぽにぽちゅLv.79事件と煮上げることが生じる」ということに防がれる fact7: 起こり難いということはぽにぽちゅLv.79事件は起きないということを防ぐ fact8: 面白おかしいということは「ぽにぽちゅLv.79事件は生じなくて弁解がましいということが起こる」ということを引き起こす fact9: 冷たいということはぽにぽちゅLv.79事件を生じさせる fact10: 衒うことは「まちゅまいLv.61事件は発生しない」ということを防ぐ
fact5 & fact3 -> int1: 起こり難いということが起きるかまたは冷たいということが生じる; int1 & fact7 & fact9 -> int2: ぽにぽちゅLv.79事件が起こる; int2 & fact1 -> int3: ぽにぽちゅLv.79事件および煮上げること両方が発生する; int3 & fact6 -> hypothesis;
fact5 & fact3 -> int1: ({A} v {B}); int1 & fact7 & fact9 -> int2: {C}; int2 & fact1 -> int3: ({C} & {D}); int3 & fact6 -> hypothesis;
聞き辛いということが発生する
$facts$ = fact1: 煮上げることが起きる fact2: 与し易いということかあるいは世代交代することかあるいはどちらもが生じる fact3: 仮に弁解がましいということは起こらないならば起こり難いということが生じるかまたは冷たいということが起きるかどちらもである fact4: 冷たいということは起きないということは「ぽにぽちゅLv.79事件が起こらなくてまた煮上げることは起きない」ということに引き起こされる fact5: 弁解がましいということは発生しない fact6: 聞き辛いということは「ぽにぽちゅLv.79事件と煮上げることが生じる」ということに防がれる fact7: 起こり難いということはぽにぽちゅLv.79事件は起きないということを防ぐ fact8: 面白おかしいということは「ぽにぽちゅLv.79事件は生じなくて弁解がましいということが起こる」ということを引き起こす fact9: 冷たいということはぽにぽちゅLv.79事件を生じさせる fact10: 衒うことは「まちゅまいLv.61事件は発生しない」ということを防ぐ ; $hypothesis$ = 「聞き辛いということは生じない」ということは成り立つ ; $proof$ = 
fact5 & fact3 -> int1: 起こり難いということが起きるかまたは冷たいということが生じる; int1 & fact7 & fact9 -> int2: ぽにぽちゅLv.79事件が起こる; int2 & fact1 -> int3: ぽにぽちゅLv.79事件および煮上げること両方が発生する; int3 & fact6 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: ({A} v {B}); int1 & fact7 & fact9 -> int2: {C}; int2 & fact1 -> int3: ({C} & {D}); int3 & fact6 -> hypothesis; __PROVED__