消火することは生じない
fact1: 傷付け易いということは発生しないということは「ぴちゅぴくLv.12事件とまやまよLv.94事件が起こる」ということの原因となる fact2: ぽねぽよLv.41事件が発生する fact3: まにょまちゅLv.88事件が発生する fact4: もしもぽねぽよLv.41事件は起きないなら儚しということではなくてまにょまちゅLv.88事件が起こる fact5: 消火することは「まにょまちゅLv.88事件および儚しということ両方ともが生じる」ということに阻止される fact6: ぴちゅぴねLv.2事件は「儚しということは起きない」ということを阻止する fact7: 「儚しということは発生しない」ということは「まにょまちゅLv.88事件が起きなくてその上消火することは発生しない」ということに由来する fact8: ぽねぽよLv.41事件はぴちゅぴねLv.2事件の原因となる fact9: ぴちゅぴくLv.12事件が発生するとしたらぽねぽよLv.41事件は起きないし気持ち良いということが起きる fact10: 「傷付け易いということともよもなLv.94事件どちらもが生じる」ということは誤りだとしたら傷付け易いということは生じない
fact8 & fact2 -> int1: ぴちゅぴねLv.2事件が起こる; fact6 & int1 -> int2: 儚しということが起きる; int2 & fact3 -> int3: まにょまちゅLv.88事件および儚しということ両方ともが発生する; int3 & fact5 -> hypothesis;
fact8 & fact2 -> int1: {A}; fact6 & int1 -> int2: {B}; int2 & fact3 -> int3: ({C} & {B}); int3 & fact5 -> hypothesis;
消火することが起きる
$facts$ = fact1: 傷付け易いということは発生しないということは「ぴちゅぴくLv.12事件とまやまよLv.94事件が起こる」ということの原因となる fact2: ぽねぽよLv.41事件が発生する fact3: まにょまちゅLv.88事件が発生する fact4: もしもぽねぽよLv.41事件は起きないなら儚しということではなくてまにょまちゅLv.88事件が起こる fact5: 消火することは「まにょまちゅLv.88事件および儚しということ両方ともが生じる」ということに阻止される fact6: ぴちゅぴねLv.2事件は「儚しということは起きない」ということを阻止する fact7: 「儚しということは発生しない」ということは「まにょまちゅLv.88事件が起きなくてその上消火することは発生しない」ということに由来する fact8: ぽねぽよLv.41事件はぴちゅぴねLv.2事件の原因となる fact9: ぴちゅぴくLv.12事件が発生するとしたらぽねぽよLv.41事件は起きないし気持ち良いということが起きる fact10: 「傷付け易いということともよもなLv.94事件どちらもが生じる」ということは誤りだとしたら傷付け易いということは生じない ; $hypothesis$ = 消火することは生じない ; $proof$ = 
fact8 & fact2 -> int1: ぴちゅぴねLv.2事件が起こる; fact6 & int1 -> int2: 儚しということが起きる; int2 & fact3 -> int3: まにょまちゅLv.88事件および儚しということ両方ともが発生する; int3 & fact5 -> hypothesis; __PROVED__
fact8 & fact2 -> int1: {A}; fact6 & int1 -> int2: {B}; int2 & fact3 -> int3: ({C} & {B}); int3 & fact5 -> hypothesis; __PROVED__