救命出来ることが起こる
fact1: 「ぽちゅぽちゅLv.65事件が起こる」ということは「招き易いということが起きる」ということに由来する fact2: 合意解除することが起こる fact3: 危ういということは起きない fact4: もし危ういということは発生しないならば拭い難いということが起こるかもしくは招き易いということが起きる fact5: 拭い難いということはぽちゅぽちゅLv.65事件は起きないということを阻止する fact6: 仮にぽちゅぽちゅLv.65事件と合意解除することが発生すれば救命出来ることは起こらない
fact3 & fact4 -> int1: 拭い難いということが発生するか招き易いということが起きるか両方ともである; int1 & fact5 & fact1 -> int2: ぽちゅぽちゅLv.65事件が生じる; int2 & fact2 -> int3: ぽちゅぽちゅLv.65事件が起きるしその上合意解除することが起こる; int3 & fact6 -> hypothesis;
fact3 & fact4 -> int1: ({A} v {B}); int1 & fact5 & fact1 -> int2: {C}; int2 & fact2 -> int3: ({C} & {D}); int3 & fact6 -> hypothesis;
$facts$ = fact1: 「ぽちゅぽちゅLv.65事件が起こる」ということは「招き易いということが起きる」ということに由来する fact2: 合意解除することが起こる fact3: 危ういということは起きない fact4: もし危ういということは発生しないならば拭い難いということが起こるかもしくは招き易いということが起きる fact5: 拭い難いということはぽちゅぽちゅLv.65事件は起きないということを阻止する fact6: 仮にぽちゅぽちゅLv.65事件と合意解除することが発生すれば救命出来ることは起こらない ; $hypothesis$ = 救命出来ることが起こる ; $proof$ = 
fact3 & fact4 -> int1: 拭い難いということが発生するか招き易いということが起きるか両方ともである; int1 & fact5 & fact1 -> int2: ぽちゅぽちゅLv.65事件が生じる; int2 & fact2 -> int3: ぽちゅぽちゅLv.65事件が起きるしその上合意解除することが起こる; int3 & fact6 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: ({A} v {B}); int1 & fact5 & fact1 -> int2: {C}; int2 & fact2 -> int3: ({C} & {D}); int3 & fact6 -> hypothesis; __DISPROVED__